Hybrid systems

Viac o knihe

The book presents a comprehensive exploration of hybrid models and their applications across various domains. It discusses automotive powertrain systems, emphasizing the design and utilization of formal specification languages for embedded control software. The content includes insights into model-based autonomous systems for robotic space exploration and simulation of hybrid systems. Key topics cover modular specification, approximate reachability analysis, and maximal safe set computation for automotive engines. The text also delves into optimization-based verification, control synthesis for switching systems, and the verification of hybrid systems using linear differential inclusions. Additional discussions highlight the theory of optimal control, behavior-based robotics, and hybrid controllers for decomposed systems. The book addresses robust undecidability in timed and hybrid systems and explores stochastic hybrid systems. It covers automatic compilation of concurrent hybrid factories and hybrid feedback regulators for automotive suspension control. The work includes techniques for reachability analysis, diagnosis of quantized systems, and stability of limit cycles in switched flow networks. Furthermore, it investigates decidability and complexity results for timed automata, level set methods for hybrid systems, and optimal operation schemes for chemical plants. The book concludes with topics on hybrid systems verific