Formalizing hybrid systems with event-b
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Complementary methodologies for developing hybrid systems with event-b
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Pliant modalities in hybrid event-B
Theories of Programming and Formal Methods
| Hi-index | 0.00 |
Continuous action systems (CAS) is a formalism intendedfor modeling hybrid systems (systems that combinediscrete control with continuous behavior), and provingproperties about the model within refinement calculus. Inthis paper we use a symbolic manipulation program to builda tool for simulating CAS models by calculating symbolicallythe time evolution of the discrete and continuous CASmodel functions, as explicit and exact expressions of a continuoustime variable. We may then study the time behaviorand general properties of the model by plotting these functionswith respect to time. For certain models our tool eliminatesthe need for introducing tolerances into the modelstructure. The tool is useful for checking that the model behavescorrectly, and we can sometimes study the behaviorof CAS models with in principle infinite precision.