Condition/event signal interfaces for block diagram modeling and analysis of hybrid systems

This publication has 15 references indexed in Scilit:

• Modeling and analysis of hybrid control systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• Logic verification using binary decision diagrams in a logic synthesis environment
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Functional decomposition for universal logic cells using substitution
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Automatic verification of sequential circuit designs
  Philosophical Transactions A, 1992
• On condition/event systems with discrete state realizations
  Discrete Event Dynamic Systems, 1991
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• Boolean Calculus of Differences
  Lecture Notes in Computer Science, 1981
• Dynamic Boolean Algebras
  IEEE Transactions on Computers, 1980
• Analysis and Synthesis of Asynchronous Sequential Networks Using Edge-Sensitive Flip-Flops
  IEEE Transactions on Computers, 1971
• A method for approximating dynamical processes by finite-state systems†
  International Journal of Control, 1968