Hybrid dynamical systems : an introduction to control and verification

✍ Scribed by Antsaklis, Panos J.; Lin, Hai

Publisher: Now Publishers
Year: 2014
Tongue: English
Leaves: 175
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

Hybrid dynamical systems are a class of complex systems that involve interacting discrete-event and continuous-variable dynamics. They are important in applications in embedded systems, cyber-physical systems, robotics, manufacturing systems, traffic management, biomolecular networks, and have recently been at the center of intense research activity in the control theory, computer-aided verification, and artificial Read more...

✦ Table of Contents

Modeling of hybrid systems --
2.1 Finite automata --
2.2 Hybrid automata --
2.3 Switched systems --
2.4 Piecewise affine systems --
2.5 Notes and further reading 3. Stability, stabilization and optimal control --
3.1 Stability of hybrid systems --
3.2 Switching stabilization --
3.3 Optimal control --
3.4 Notes and further reading 4. Verification of hybrid systems --
4.1 Model checking --
4.2 Bisimulation --
4.3 Timed automata --
4.4 Hybrid automata --
4.5 Notes and further reading 5. Hybrid supervisory control --
5.1 Discrete event supervisory control --
5.2 Timed language supervisory control --
5.3 Hybrid supervisory control --
5.4 Notes and further reading 6. Concluding remarks --
Acknowledgements --
References.

✦ Subjects

Hybrid systems

📜 SIMILAR VOLUMES

An introduction to hybrid dynamical syst

📁 An introduction to hybrid dynamical systems

✍ Arjan van der Schaft, Hans Schumacher (auth.) 📂 Library 📅 2000 🏛 Springer-Verlag London 🌐 English

<p>This book is about dynamical systems that are "hybrid" in the sense that they contain both continuous and discrete state variables. Recently there has been increased research interest in the study of the interaction between discrete and continuous dynamics. The present volume provides a first att

An introduction to hybrid dynamical syst

📁 An introduction to hybrid dynamical systems

✍ Arjan van der Schaft, Hans Schumacher (auth.) 📂 Library 📅 2000 🏛 Springer-Verlag London 🌐 English

An introduction to hybrid dynamical syst

📁 An introduction to hybrid dynamical systems

✍ Arjan van der Schaft, Hans Schumacher (auth.) 📂 Library 📅 2000 🏛 Springer-Verlag London 🌐 English

An Introduction to Dynamical Systems and

📁 An Introduction to Dynamical Systems and Chaos

✍ G. C. Layek 📂 Library 📅 2024 🏛 Springer Nature Singapore 🌐 English

This book discusses continuous and discrete nonlinear systems in systematic and sequential approaches. The unique feature of the book is its mathematical theories on flow bifurcations, nonlinear oscillations, Lie symmetry analysis of nonlinear systems, chaos theory, routes to chaos and multistable c

An Introduction to Dynamical Systems and

📁 An Introduction to Dynamical Systems and Chaos

✍ G.C. Layek 📂 Library 📅 2015 🏛 Springer 🌐 English

<div>The book discusses continuous and discrete systems in systematic and sequential approaches for all aspects of nonlinear dynamics. The unique feature of the book is its mathematical theories on flow bifurcations, oscillatory solutions, symmetry analysis of nonlinear systems and chaos theory. The

Hybrid Systems III: Verification and Con

📁 Hybrid Systems III: Verification and Control

✍ John Lygeros, Datta N. Godbole, Shankar Sastry (auth.), Rajeev Alur, Thomas A. H 📂 Library 📅 1996 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p>This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995.<BR>A hybrid system consists of digital devices that interact with analog environments. Computer scienc