Hybrid Systems: Computation and Control

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

zbMATH Keywords

system identificationbenchmark characteristics

Mathematics Subject Classification ID

System identification (93B30) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

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

• Uppaal

This page was built for publication: Hybrid Systems: Computation and Control