Hybrid Systems: Computation and Control
From MaRDI portal
Publication:5307932
DOI10.1007/b96398zbMath1135.93324OpenAlexW2476491145MaRDI QIDQ5307932
Franjo Ivančić, Ansgar Fehnker
Publication date: 25 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b96398
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (25)
Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems ⋮ Dispatch sequences for embedded control models ⋮ Hybrid automata-based CEGAR for rectangular hybrid systems ⋮ Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration ⋮ Decoding Output Sequences for Discrete-Time Linear Hybrid Systems. ⋮ Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes ⋮ A Policy Iteration Technique for Time Elapse over Template Polyhedra ⋮ Unnamed Item ⋮ Model reduction of switched affine systems ⋮ PPLite: zero-overhead encoding of NNC polyhedra ⋮ SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems ⋮ S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems ⋮ Taylor approximation for hybrid systems ⋮ Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations ⋮ Approximate partial order reduction ⋮ Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes ⋮ Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration ⋮ Falsification of LTL Safety Properties in Hybrid Systems ⋮ Symbolic Model Checking of Hybrid Systems Using Template Polyhedra ⋮ Falsification of hybrid systems with symbolic reachability analysis and trajectory splicing ⋮ Proving the Correctness of the Implementation of a Control-Command Algorithm ⋮ Dynamic event-triggered \(\mathcal{L}_\infty\) control for switched affine systems with sampled-data switching ⋮ Hybrid systems: From verification to falsification by combining motion planning and discrete search ⋮ Automated verification and synthesis of stochastic hybrid systems: a survey ⋮ Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
Uses Software
This page was built for publication: Hybrid Systems: Computation and Control
