SHIFT: A formalism and a programming language for dynamic networks of hybrid automata

This publication has 14 references indexed in Scilit:

• Design and Verification of Communication Protocols for degraded modes of operation of AHS
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• Dynamic-structure discrete event systems: a comparison of methodologies and environments
  Published by SPIE-Intl Soc Optical Eng ,1997
• Design and evaluation tools for Automated Highway Systems
  Published by Springer Nature ,1996
• An automated highway system simulator
  Transportation Research Part C: Emerging Technologies, 1995
• Viable control of hybrid systems
  Published by Springer Nature ,1995
• An environment for DEVS-based multiformalism simulation in Common Lisp/CLOS
  Discrete Event Dynamic Systems, 1993
• Protocol design for an automated highway system
  Discrete Event Dynamic Systems, 1993
• Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
  Published by Springer Nature ,1993
• Finitely recursive process models for discrete event systems
  IEEE Transactions on Automatic Control, 1988
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980