The d/dt Tool for Verification of Hybrid Systems
- 20 September 2002
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 365-370
- https://doi.org/10.1007/3-540-45657-0_30
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- On Hybrid Control of Under-Actuated Mechanical SystemsLecture Notes in Computer Science, 2001
- Effective synthesis of switching controllers for linear systemsProceedings of the IEEE, 2000
- Approximate Reachability Analysis of Piecewise-Linear Dynamical SystemsLecture Notes in Computer Science, 2000
- Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal ApproximationsLecture Notes in Computer Science, 2000
- Orthogonal Polyhedra: Representation and ComputationLecture Notes in Computer Science, 1999
- Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe ApproximationsLecture Notes in Computer Science, 1999
- What's Decidable about Hybrid Automata?Journal of Computer and System Sciences, 1998
- Reachability analysis via face liftingLecture Notes in Computer Science, 1998
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- A theory of timed automataTheoretical Computer Science, 1994