Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization

DOI10.1007/978-3-540-78929-1_30MaRDI QIDQ3523125zbMATH OpenOpenAlexFDO

Authors Nacim Ramdani, Nacim Meslem, 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

Attainable sets, reachability (93B03) 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

• Computing reachable sets for uncertain nonlinear monotone systems
• Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
• Computing reachable states for nonlinear biological models
• Accurate reachability analysis of uncertain nonlinear systems
• Hybrid Systems: Computation and Control

Cites work

• Computational techniques for hybrid system verification
• Differential inequalities and maximum principles: theory, new methods and applications
• Ellipsoidal Techniques for Hybrid Dynamics: the Reachability Problem
• Formal Modeling and Analysis of Timed Systems
• scientific article; zbMATH DE number 1595639 (Why is no real title available?)
• scientific article; zbMATH DE number 1444343 (Why is no real title available?)
• scientific article; zbMATH DE number 1444347 (Why is no real title available?)
• Hybrid abstractions of affine systems
• Hybrid Systems: Computation and Control
• Hybridization methods for the analysis of nonlinear systems
• Reachability analysis of dynamical systems having piecewise-constant derivatives
• The algorithmic analysis of hybrid systems
• Validated solutions of initial value problems for ordinary differential equations

Cited in

(18)

• Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty
• An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems
• Generating invariants for non-linear hybrid systems
• A Comprehensive Method for Reachability Analysis of Uncertain Nonlinear Hybrid Systems
• Interval observer design based on nonlinear hybridization and practical stability analysis
• Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects
• Discretizing affine hybrid automata with uncertainty
• Proving the Correctness of the Implementation of a Control-Command Algorithm
• SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
• Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer
• On the Reachability Problem for Uncertain Hybrid Systems
• Computing reachable states for nonlinear biological models
• Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
• Hybrid Systems: Computation and Control
• An algorithm for the formal reduction of differential equations as over-approximations
• Reliable robust path planning with application to mobile robots
• Change-of-bases abstractions for non-linear hybrid systems
• Computing reachable sets for uncertain nonlinear monotone systems

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

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