scientific article; zbMATH DE number 1956619

Eugene Asarin, Thao Dang, Antoine Girard

Publication date: 30 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2623/26230020.htm

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

Mathematics Subject Classification ID

Nonlinear systems in control theory (93C10) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items

Conservative time discretization: a comparative study, Lie symmetries applied to interval integration, Hybridization methods for the analysis of nonlinear systems, Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once, Bracketing the solutions of an ordinary differential equation with uncertain initial conditions, Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis, Formal lumping of polynomial differential equations through approximate equivalences, Approximating Continuous Systems by Timed Automata, Adaptive parameter tuning for reachability analysis of nonlinear systems, An algorithm for the formal reduction of differential equations as over-approximations, Control of positive systems with an unknown state-dependent power law input delay and input saturation, Computing Differential Invariants of Hybrid Systems as Fixedpoints, Provably safe and robust learning-based model predictive control, Reachability analysis of nonlinear systems using hybridization and dynamics scaling, Hybrid abstractions of affine systems, Trajectory Based Verification Using Local Finite-Time Invariance, Domain-of-attraction estimation for uncertain non-polynomial systems, Bracketing backward reach sets of a dynamical system, Computing differential invariants of hybrid systems as fixed points, Differential dynamic logic for hybrid systems, Adaptive reachability algorithms for nonlinear systems using abstraction error analysis, Lebesgue piecewise affine approximation of nonlinear systems

Uses Software