Analysis of a hybrid system using symbolic dynamics and Petri nets

Timed Petri Nets in Hybrid Systems: Stability and SupervisoryControl

Discrete Event Dynamic Systems

Stable and Real-Time Scheduling of a Class of Hybrid DynamicSystems

Discrete Event Dynamic Systems

Hybrid Control Systems Usind Timed Petri Nets: Supervisory Control Design Based on Invariant Properties

Hybrid Systems V

Static Analysis of Concurrent Programs Using Ordinary Differential Equations

ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing

An Improvement of Software Architecture Verification

Electronic Notes in Theoretical Computer Science (ENTCS)

A logical DES approach to the design of hybrid control systems

Mathematical and Computer Modelling: An International Journal