Algorithmic analysis of nonlinear hybrid systems
From MaRDI portal
Publication:4393079
Recommendations
Cited in
(47)- Lebesgue piecewise affine approximation of nonlinear systems
- What's decidable about hybrid automata?
- Tracking smooth trajectories in linear hybrid systems
- Formal verification and quantitative metrics of MPSoC data dynamics
- Verification and control for probabilistic hybrid automata with finite bisimulations
- Safe \& robust reachability analysis of hybrid systems
- Positive loop-closed automata: A decidable class of hybrid systems
- PTIME parametric verification of safety properties for reasonable linear hybrid automata
- Discrete-time control for rectangular hybrid automata
- Reachability analysis of nonlinear systems using hybridization and dynamics scaling
- Safety verification of non-linear hybrid systems is quasi-decidable
- Approximate equivalence of the hybrid automata with Taylor theory
- Syntax and consistent equation semantics of hybrid Chi
- Automata-based analysis of stage suspended boom systems
- Taylor approximation for hybrid systems
- Abstractions for hybrid systems
- Monotonic hybrid systems
- Hybrid abstractions of affine systems
- Finite data-rate feedback stabilization of switched and hybrid linear systems
- Denotational semantics of hybrid automata
- Harvesting control in an integrodifference population model with concave growth term
- Towards an efficient path-oriented tool for bounded reachability analysis of linear hybrid systems using linear programming
- Relating hybrid chi to other formalisms
- Verification and control of probabilistic rectangular hybrid automata
- Scalable static hybridization methods for analysis of nonlinear systems
- Verification of Hybrid Systems
- GUARANTEED TERMINATION IN THE VERIFICATION OF LTL PROPERTIES OF NON-LINEAR ROBUST DISCRETE TIME HYBRID SYSTEMS
- Approximating Continuous Systems by Timed Automata
- Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata
- On the algorithmic unsolvability of some stability problems for hybrid systems
- scientific article; zbMATH DE number 744075 (Why is no real title available?)
- SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata
- Quantifier-free encoding of invariants for hybrid systems
- Verifying global start-up for a Möbius ring-oscillator
- Diagnosing Hybrid Dynamical Systems Using Max-Plus Algebraic Methods
- A New Technique for Translating Discrete Hybrid Automata into Piecewise Affine Systems
- Computing reachable states for nonlinear biological models
- A Synthesis Algorithm for Hybrid Systems
- A Hybrid Denotational Semantics for Hybrid Systems
- HYBRID SYSTEM VERIFICATION IS NOT A SINECURE — THE ELECTRONIC THROTTLE CONTROL CASE STUDY
- Symbolic analysis of linear hybrid automata -- 25 years later
- Simulation relations and applications in formal methods
- Tracking control for switched nonlinear systems subject to output hysteresis via adaptive multi-dimensional Taylor network approach
- Robust identification of hybrid automata from noisy data
- Sparse intersection checking for sparse polynomial zonotopes
- Runtime monitors for Markov decision processes
- Hybridization methods for the analysis of nonlinear systems
This page was built for publication: Algorithmic analysis of nonlinear hybrid systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4393079)
