Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization

DOI10.1007/978-3-540-78929-1_30zbMath1144.93303OpenAlexW1590159044MaRDI QIDQ3523125

Nacim Meslem, Nacim Ramdani, Yves Candau

Publication date: 2 September 2008

Published in: Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78929-1_30

Mathematics Subject Classification ID

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

Related Items (10)

Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects ⋮ Change-of-bases abstractions for non-linear hybrid systems ⋮ An algorithm for the formal reduction of differential equations as over-approximations ⋮ SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems ⋮ Interval observer design based on nonlinear hybridization and practical stability analysis ⋮ Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques ⋮ Computing reachable sets for uncertain nonlinear monotone systems ⋮ Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer ⋮ Proving the Correctness of the Implementation of a Control-Command Algorithm ⋮ Generating invariants for non-linear hybrid systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The algorithmic analysis of hybrid systems
• Hybridization methods for the analysis of nonlinear systems
• Reachability analysis of dynamical systems having piecewise-constant derivatives
• Validated solutions of initial value problems for ordinary differential equations
• Hybrid abstractions of affine systems
• Ellipsoidal Techniques for Hybrid Dynamics: the Reachability Problem
• Differential inequalities and maximum principles: theory, new methods and applications
• Computational techniques for hybrid system verification
• Hybrid Systems: Computation and Control
• Formal Modeling and Analysis of Timed Systems

This page was built for publication: Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization