scientific article; zbMATH DE number 1956619
From MaRDI portal
Publication:4417974
zbMATH Open1032.93034MaRDI QIDQ4417974FDOQ4417974
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
Title of this publication is not available (Why is that?)
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
Nonlinear systems in control theory (93C10) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Cited In (31)
- Conservative time discretization: a comparative study
- Reachability analysis of nonlinear systems using hybridization and dynamics scaling
- Differential dynamic logic for hybrid systems
- Bracketing backward reach sets of a dynamical system
- On Reachability Analysis of Nonlinear Systems with Joint Integral Constraints
- Trajectory Based Verification Using Local Finite-Time Invariance
- Control of positive systems with an unknown state-dependent power law input delay and input saturation
- Hybridization methods for the analysis of nonlinear systems
- Computing differential invariants of hybrid systems as fixed points
- Computing Differential Invariants of Hybrid Systems as Fixedpoints
- Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
- Hybrid abstractions of affine systems
- The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems
- Accurate hybridization of nonlinear systems
- Lie symmetries applied to interval integration
- An algorithm for the formal reduction of differential equations as over-approximations
- Domain-of-attraction estimation for uncertain non-polynomial systems
- Approximating Continuous Systems by Timed Automata
- Provably safe and robust learning-based model predictive control
- Hybrid Systems: Computation and Control
- 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
- Lebesgue piecewise affine approximation of nonlinear systems
- Reachability analysis of non-linear planar autonomous systems
- Reachability Analysis of Hybrid Systems Using Support Functions
- Formal lumping of polynomial differential equations through approximate equivalences
- Adaptive reachability algorithms for nonlinear systems using abstraction error analysis
- Adaptive parameter tuning for reachability analysis of nonlinear systems
- Accurate reachability analysis of uncertain nonlinear systems
- Forward inner-approximated reachability of non-linear continuous systems
Uses Software
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)
