scientific article; zbMATH DE number 1794371

zbMath0991.93525MaRDI QIDQ4552468

George J. Pappas, Joel M. Esposito, Vijay Kumar

Publication date: 3 September 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2034/20340204

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Control/observation systems governed by ordinary differential equations (93C15)

Related Items (11)

A dynamic quantized state system execution framework for hybrid automata ⋮ An integrated Runge-Kutta root finding method for reliable collision detection in multibody systems ⋮ A survey of numerical methods for IVPs of ODEs with discontinuous right-hand side ⋮ A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability ⋮ Time-transformations for the event location in discontinuous ODEs ⋮ Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques ⋮ Dynamical properties of hybrid systems simulators ⋮ Computing reachable sets for uncertain nonlinear monotone systems ⋮ Falsification of LTL Safety Properties in Hybrid Systems ⋮ Parameter Synthesis for Hybrid Systems with an Application to Simulink Models ⋮ Hybrid systems: From verification to falsification by combining motion planning and discrete search

This page was built for publication: