Hybridization methods for the analysis of nonlinear systems
From MaRDI portal
Publication:868432
DOI10.1007/S00236-006-0035-7zbMATH Open1134.93026OpenAlexW2154679417MaRDI QIDQ868432FDOQ868432
Authors: Eugene Asarin, Thao Dang, Antoine Girard 
Publication date: 5 March 2007
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00236-006-0035-7
Recommendations
Cites Work
- HyTech: A model checker for hybrid systems
- Kronos: A verification tool for real-time systems
- Uppaal in a nutshell
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Nonlinear systems. Analysis, stability, and control
- A theory of timed automata
- Switching in systems and control
- Title not available (Why is that?)
- Hybrid Systems: Computation and Control
- What's decidable about hybrid automata?
- An introduction to hybrid dynamical systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Computation of piecewise quadratic Lyapunov functions for hybrid systems
- A unified framework for hybrid control: model and optimal control theory
- Analysis of Non-polynomial Systems Using the Sum of Squares Decomposition
- Title not available (Why is that?)
- Hybrid Systems: Computation and Control
- Reachability Analysis Using Polygonal Projections
- Hybrid Systems: Computation and Control
- The algorithmic analysis of hybrid systems
- Some Combinatorial Lemmas in Topology
- Impulse differential inclusions: a viability approach to hybrid systems
- Reachability analysis of dynamical systems having piecewise-constant derivatives
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Symbolic reachability computation for families of linear vector fields
- Title not available (Why is that?)
- Hybrid Systems: Computation and Control
- Counterexample-guided predicate abstraction of hybrid systems
- Hybrid computation
- Title not available (Why is that?)
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Title not available (Why is that?)
- Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Formal Methods in Computer-Aided Design
Cited In (33)
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
- Method of hybrid approximations for modelling of multidimensional nonlinear systems
- Reachability analysis of nonlinear systems using hybridization and dynamics scaling
- Energy analysis in a nonlinear hybrid system containing linear and nonlinear subsystems coupled by hereditary element
- Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization
- Hybrid Systems: Computation and Control
- Stability analysis of planar probabilistic piecewise constant derivative systems
- Bracketing backward reach sets of a dynamical system
- Template-based unbounded time verification of affine hybrid automata
- Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces
- Scalable static hybridization methods for analysis of nonlinear systems
- Unbounded-time analysis of guarded LTI systems with inputs by abstract acceleration
- Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
- Verification of Hybrid Systems
- Accurate hybridization of nonlinear systems
- Determination of inner and outer bounds of reachable sets through subpavings
- Computing reachable states for nonlinear biological models
- Set-based control for disturbed piecewise affine systems with state and actuation constraints
- Abstraction based verification of stability of polyhedral switched systems
- Computing reachable sets for uncertain nonlinear monotone systems
- Hybrid tools for hybrid systems -- proving stability and safety at once
- Accelerating parameter synthesis using semi-algebraic constraints
- Nonlinear analysis based on homogeneous incremental systems
- Adaptive reachability algorithms for nonlinear systems using abstraction error analysis
- Reachability and stabilization of discrete-time affine systems with disturbances
- Decentralized abstractions for multi-agent systems under coupled constraints
- Adaptive parameter tuning for reachability analysis of nonlinear systems
- Robust constrained control of piecewise affine systems through set‐based reachability computations
- Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space
- Generalized Derivatives for Hybrid Systems
- Hybrid nonnegative and compartmental dynamical systems
Uses Software
This page was built for publication: Hybridization methods for the analysis of nonlinear systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q868432)
