Algorithmic analysis of nonlinear hybrid systems
From MaRDI portal
Publication:4393079
DOI10.1109/9.664156zbMath0918.93019OpenAlexW4236306094MaRDI QIDQ4393079
Howard Wong-Toi, Thomas A. Henzinger, Pei-Hsin Ho
Publication date: 8 June 1998
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/9.664156
Formal languages and automata (68Q45) Nonlinear systems in control theory (93C10) Linearizations (93B18) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items
Runtime monitors for Markov decision processes, Syntax and consistent equation semantics of hybrid Chi, Finite data-rate feedback stabilization of switched and hybrid linear systems, Automata-based analysis of stage suspended boom systems, Verification of Hybrid Systems, Denotational semantics of hybrid automata, Harvesting control in an integrodifference population model with concave growth term, Verification and Control of Probabilistic Rectangular Hybrid Automata, Tracking smooth trajectories in linear hybrid systems, Symbolic analysis of linear hybrid automata -- 25 years later, Simulation relations and applications in formal methods, Approximating Continuous Systems by Timed Automata, Tracking control for switched nonlinear systems subject to output hysteresis via adaptive multi-dimensional Taylor network approach, PTIME parametric verification of safety properties for reasonable linear hybrid automata, Formal verification and quantitative metrics of MPSoC data dynamics, Discrete-time control for rectangular hybrid automata, 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, Verification and control for probabilistic hybrid automata with finite bisimulations, Taylor approximation for hybrid systems, Safety verification of non-linear hybrid systems is quasi-decidable, Abstractions for hybrid systems, Reachability analysis of nonlinear systems using hybridization and dynamics scaling, Computing reachable states for nonlinear biological models, Monotonic hybrid systems, Hybrid abstractions of affine systems, Safe \& robust reachability analysis of hybrid systems, A Hybrid Denotational Semantics for Hybrid Systems, What's decidable about hybrid automata?, HYBRID SYSTEM VERIFICATION IS NOT A SINECURE — THE ELECTRONIC THROTTLE CONTROL CASE STUDY, Lebesgue piecewise affine approximation of nonlinear systems, Approximate equivalence of the hybrid automata with Taylor theory, GUARANTEED TERMINATION IN THE VERIFICATION OF LTL PROPERTIES OF NON-LINEAR ROBUST DISCRETE TIME HYBRID SYSTEMS, Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming, Relating Hybrid Chi to Other Formalisms, Positive loop-closed automata: A decidable class of hybrid systems
