Hybrid System Verification Is Not a Sinecure
- 1 January 2004
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Verifying asymptotic bounds for discrete-time sliding mode systems with disturbance inputsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2004
- Modeling and verification of hybrid systems with clocked and unclocked eventsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Efficient Representation and Computation of Reachable Sets for Hybrid SystemsLecture Notes in Computer Science, 2003
- Hybrid I/O Automata RevisitedLecture Notes in Computer Science, 2001
- Assume-Guarantee Reasoning for Hierarchical Hybrid SystemsLecture Notes in Computer Science, 2001
- Reachability Analysis Using Polygonal ProjectionsLecture Notes in Computer Science, 1999
- Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe ApproximationsLecture Notes in Computer Science, 1999
- Algorithmic analysis of nonlinear hybrid systemsIEEE Transactions on Automatic Control, 1998
- HYTECH: a model checker for hybrid systemsInternational Journal on Software Tools for Technology Transfer, 1997
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995