Embedded system design and hybrid systems

This publication has 22 references indexed in Scilit:

• Automata-theoretic verification of coordinating processes
  Published by Springer Nature ,2005
• Multiple agent hybrid control: carrier manifolds and chattering approximations to optimal control
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Hierarchical Control of Hybrid Systems
  IFAC Proceedings Volumes, 1996
• Model checking and abstraction
  ACM Transactions on Programming Languages and Systems, 1994
• Hardware-software codesign of embedded systems
  IEEE Micro, 1994
• Symbolic Model Checking
  Published by Springer Nature ,1993
• Logics and models of real time: A survey
  Published by Springer Nature ,1992
• Constructing Predictable Real Time Systems
  Published by Springer Nature ,1991
• STATEMATE: a working environment for the development of complex reactive systems
  IEEE Transactions on Software Engineering, 1990
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986