scientific article; zbMATH DE number 1956619
From MaRDI portal
Publication:4417974
zbMath1032.93034MaRDI QIDQ4417974
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.
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 (22)
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
This page was built for publication:
