共 4 条
[1]
Condition/eventsignalinterfaceforblockdiagrammodelingandanalysisofhybridsystems. KroghBH. Proc.8thInt.Symp.IntelligentControlSys tems . 1993
[2]
StateflowTM: For use with Simulink. The Math Works, Inc. User's Guide Version 1 . 1998
[3]
Hybrid system verification using discrete model approximations. Chutinan A. . 1999
[4]
Verification of logic controllers for continuous plants using timed condition/event-system models. Kowalewski S, Engell S, Preuβig J, Stursberg O. Automatica . 1999