Publication:4953376
From MaRDI portal
zbMath0938.93502MaRDI QIDQ4953376
Olivier Bournez, Eugene Asarin, Thao Dang, Oded Maler
Publication date: 21 June 2000
93B03: Attainable sets, reachability
Related Items
Hybridization methods for the analysis of nonlinear systems, Understanding deadlock and livelock behaviors in hybrid control systems, Reachability analysis of linear systems using support functions, Computing reachable sets for uncertain nonlinear monotone systems, A control problem for affine dynamical systems on a full-dimensional polytope., A discrete-event model of asynchronous quantised systems, Syntax and consistent equation semantics of hybrid Chi, Counterexample-guided predicate abstraction of hybrid systems, Algorithmic analysis of polygonal hybrid systems. I: Reachability, Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems, Approximate bisimulation relations for constrained linear systems, An invariant-based approach to the design of hybrid control systems, Approximating Continuous Systems by Timed Automata, Trajectory Based Verification Using Local Finite-Time Invariance
Uses Software