Hybridization methods for the analysis of nonlinear systems
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 52331 (Why is no real title available?)
- scientific article; zbMATH DE number 1303063 (Why is no real title available?)
- scientific article; zbMATH DE number 1303072 (Why is no real title available?)
- scientific article; zbMATH DE number 1741317 (Why is no real title available?)
- scientific article; zbMATH DE number 979834 (Why is no real title available?)
- scientific article; zbMATH DE number 1142326 (Why is no real title available?)
- scientific article; zbMATH DE number 1956619 (Why is no real title available?)
- scientific article; zbMATH DE number 1956650 (Why is no real title available?)
- scientific article; zbMATH DE number 1794374 (Why is no real title available?)
- scientific article; zbMATH DE number 2085344 (Why is no real title available?)
- scientific article; zbMATH DE number 1903367 (Why is no real title available?)
- scientific article; zbMATH DE number 1905118 (Why is no real title available?)
- scientific article; zbMATH DE number 766966 (Why is no real title available?)
- scientific article; zbMATH DE number 1444339 (Why is no real title available?)
- scientific article; zbMATH DE number 1444343 (Why is no real title available?)
- scientific article; zbMATH DE number 1444352 (Why is no real title available?)
- A theory of timed automata
- A unified framework for hybrid control: model and optimal control theory
- Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
- An introduction to hybrid dynamical systems
- Analysis of Non-polynomial Systems Using the Sum of Squares Decomposition
- Computation of piecewise quadratic Lyapunov functions for hybrid systems
- Counterexample-guided predicate abstraction of hybrid systems
- Formal Methods in Computer-Aided Design
- HyTech: A model checker for hybrid systems
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid computation
- Impulse differential inclusions: a viability approach to hybrid systems
- Kronos: A verification tool for real-time systems
- Nonlinear systems. Analysis, stability, and control
- Reachability Analysis Using Polygonal Projections
- Reachability analysis of dynamical systems having piecewise-constant derivatives
- Some Combinatorial Lemmas in Topology
- Switching in systems and control
- Symbolic reachability computation for families of linear vector fields
- The algorithmic analysis of hybrid systems
- Uppaal in a nutshell
- What's decidable about hybrid automata?
Cited in
(33)- Generalized Derivatives for Hybrid Systems
- Hybrid tools for hybrid systems -- proving stability and safety at once
- Robust constrained control of piecewise affine systems through set‐based reachability computations
- Method of hybrid approximations for modelling of multidimensional nonlinear systems
- Set-based control for disturbed piecewise affine systems with state and actuation constraints
- Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization
- Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces
- Adaptive reachability algorithms for nonlinear systems using abstraction error analysis
- Abstraction based verification of stability of polyhedral switched systems
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
- Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
- Hybrid Systems: Computation and Control
- Template-based unbounded time verification of affine hybrid automata
- Stability analysis of planar probabilistic piecewise constant derivative systems
- Bracketing backward reach sets of a dynamical system
- Reachability and stabilization of discrete-time affine systems with disturbances
- Computing reachable sets for uncertain nonlinear monotone systems
- Verification of Hybrid Systems
- Accelerating parameter synthesis using semi-algebraic constraints
- Computing reachable states for nonlinear biological models
- Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space
- Decentralized abstractions for multi-agent systems under coupled constraints
- Hybrid nonnegative and compartmental dynamical systems
- Nonlinear analysis based on homogeneous incremental systems
- Scalable static hybridization methods for analysis of nonlinear systems
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
- Accurate hybridization of nonlinear systems
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement
- Adaptive parameter tuning for reachability analysis of nonlinear systems
- Determination of inner and outer bounds of reachable sets through subpavings
- Unbounded-time analysis of guarded LTI systems with inputs by abstract acceleration
- 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
Describes a project that uses
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)
