A fast mutual exclusion algorithm
ACM Transactions on Computer Systems (TOCS)
Distributed cooperation with action systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Guest A Layered Approach to Automating the Verification of Real-Time Systems
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
Formal Development of Reactive Systems: Case Study Production Cell
Formal Development of Reactive Systems: Case Study Production Cell
Generalizing Action Systems to Hybrid Systems
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Symbolic Simulation of Hybrid Systems
APSEC '02 Proceedings of the Ninth Asia-Pacific Software Engineering Conference
Constructing invariants for hybrid systems
Formal Methods in System Design
ProB: an automated analysis toolset for the B method
International Journal on Software Tools for Technology Transfer (STTT)
Using Design Patterns in Formal Methods: An Event-B Approach
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Event-B Patterns and Their Tool Support
SEFM '09 Proceedings of the 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods
Modeling in Event-B: System and Software Engineering
Modeling in Event-B: System and Software Engineering
Computing semi-algebraic invariants for polynomial dynamical systems
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Safety verification of hybrid systems by constraint propagation based abstraction refinement
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Formalizing hybrid systems with event-b
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Pliant modalities in hybrid event-B
Theories of Programming and Formal Methods
Towards a modeling language for cyber-physical systems
Theories of Programming and Formal Methods
| Hi-index | 0.00 |
This paper contains a further contribution to the handling of hybrid systems as presented in [3]. This time we insist on the usage of multiple methodologies involving not only refinements and proofs as in Event-B and the Rodin Platform, but also Matlab simulation, Animation, and Invariant discovery. We believe that a successful understanding of hybrid systems has to be done in this way by involving several distinct methodologies that are complementary. The paper also presents many examples illustrating the approach.