Level Set Methods for Computation in Hybrid Systems
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 310-323
- https://doi.org/10.1007/3-540-46430-1_27
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- On controller synthesis for nonlinear hybrid systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The synthesis of controllers for linear hybrid automataPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A theory of timed automataPublished by Elsevier ,2002
- Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe ApproximationsPublished by Springer Nature ,1999
- Synthesizing controllers for nonlinear hybrid systemsPublished by Springer Nature ,1998
- Integrating projectionsPublished by Springer Nature ,1998
- Reachability analysis via face liftingPublished by Springer Nature ,1998
- The tool KronosPublished by Springer Nature ,1996
- A user guide to HyTechPublished by Springer Nature ,1995
- On the synthesis of discrete controllers for timed systemsPublished by Springer Nature ,1995