Verification of Hybrid Systems via Mathematical Programming

This publication has 10 references indexed in Scilit:

• Propositional logic in control and monitoring problems
  Automatica, 1999
• Control of systems integrating logic, dynamics, and constraints
  Automatica, 1999
• Automotive control revisited linear inequalities as approximation of reachable sets
  Published by Springer Nature ,1998
• Using HyTech to verify an automotive control System
  Published by Springer Nature ,1997
• Automatic symbolic verification of embedded systems
  IEEE Transactions on Software Engineering, 1996
• Reachability analysis of dynamical systems having piecewise-constant derivatives
  Theoretical Computer Science, 1995
• Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
  Published by Springer Nature ,1993
• Integration Graphs: A class of decidable hybrid systems
  Published by Springer Nature ,1993
• Relation between MILP modelling and logical inference for chemical process synthesis
  Computers & Chemical Engineering, 1991
• Modeling and integer programming techniques applied to propositional calculus
  Computers & Operations Research, 1990