scientific article; zbMATH DE number 1956619

MaRDI QIDQ4417974zbMATH OpenFDO

Authors 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

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)

Recommendations

• Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
• On reachability analysis for nonlinear control systems with state constraints
• Accurate reachability analysis of uncertain nonlinear systems
• Hybrid Systems: Computation and Control
• Reachability Analysis of Nonlinear Differential-Algebraic Systems
• Reachability Analysis of Nonlinear Systems Using Matrix Measures
• Reachability analysis of nonlinear systems using hybridization and dynamics scaling
• Forward inner-approximated reachability of non-linear continuous systems
• Reachability of Nonlinear Systems With Unknown Dynamics
• Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis

Cited in

(31)

• Differential dynamic logic for hybrid systems
• Lebesgue piecewise affine approximation of nonlinear systems
• Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis
• Accurate reachability analysis of uncertain nonlinear systems
• Control of positive systems with an unknown state-dependent power law input delay and input saturation
• Hybrid tools for hybrid systems -- proving stability and safety at once
• Reachability analysis of non-linear planar autonomous systems
• Bracketing the solutions of an ordinary differential equation with uncertain initial conditions
• Hybridization methods for the analysis of nonlinear systems
• Hybrid abstractions of affine systems
• Adaptive reachability algorithms for nonlinear systems using abstraction error analysis
• Formal lumping of polynomial differential equations through approximate equivalences
• Computing differential invariants of hybrid systems as fixed points
• Conservative time discretization: a comparative study
• The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems
• Reachability Analysis of Hybrid Systems Using Support Functions
• Trajectory Based Verification Using Local Finite-Time Invariance
• Bracketing backward reach sets of a dynamical system
• Approximating Continuous Systems by Timed Automata
• On Reachability Analysis of Nonlinear Systems with Joint Integral Constraints
• Forward inner-approximated reachability of non-linear continuous systems
• Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
• Domain-of-attraction estimation for uncertain non-polynomial systems
• Computing Differential Invariants of Hybrid Systems as Fixedpoints
• Provably safe and robust learning-based model predictive control
• Hybrid Systems: Computation and Control
• An algorithm for the formal reduction of differential equations as over-approximations
• Accurate hybridization of nonlinear systems
• Adaptive parameter tuning for reachability analysis of nonlinear systems
• Lie symmetries applied to interval integration
• Reachability analysis of nonlinear systems using hybridization and dynamics scaling

Describes a project that uses

Uses Software

• Kronos
• HyTech
• Uppaal
• d/dt

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4417974)