Hybrid automata with finite bisimulations

This publication has 14 references indexed in Scilit:

• Automatic symbolic verification of embedded systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Verifying programs with unreliable channels
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A theory of timed automata
  Published by Elsevier ,2002
• The algorithmic analysis of hybrid systems
  Theoretical Computer Science, 1995
• What's decidable about hybrid automata?
  Published by Association for Computing Machinery (ACM) ,1995
• Algorithmic analysis of nonlinear hybrid systems
  Published by Springer Nature ,1995
• Symbolic Model Checking for Real-Time Systems
  Information and Computation, 1994
• Verification of linear hybrid systems by means of convex approximations
  Published by Springer Nature ,1994
• A calculus of durations
  Information Processing Letters, 1991
• CCS expressions, finite state processes, and three problems of equivalence
  Information and Computation, 1990