Open AccessBook
Verification and Control of Hybrid Systems: A Symbolic Approach
Reads0
Chats0
TLDR
This book addresses problems of verification and controller synthesis for hybrid systems by systematic presentation of classes of hybrid systems that admit symbolic or finite models along with the relationships between the hybrid systems and the corresponding symbolic models.Abstract:
Hybrid systems describe the interaction of software, described by finite models such as finite-state machines, with the physical world, described by infinite models such as differential equations. This book addresses problems of verification and controller synthesis for hybrid systems. Although these problems are very difficult to solve for general hybrid systems, several authors have identified classes of hybrid systems that admit symbolic or finite models. The novelty of the book lies on the systematic presentation of these classes of hybrid systems along with the relationships between the hybrid systems and the corresponding symbolic models. To show how the existence of symbolic models can be used for verification and controller synthesis, the book also outlines several key results for the verification and controller design of finite systems. Several examples illustrate the different methods and techniques discussed in the book.read more
Citations
More filters
Journal ArticleDOI
Cyber–Physical Systems: A Perspective at the Centennial
Kyoung-Dae Kim,P. R. Kumar +1 more
TL;DR: This work overviews CPS research from both a historical point of view in terms of technologies developed for early generations of control systems, as well as recent results on CPSs in many relevant research domains such as networked control, hybrid systems, real-time computing,real-time networking, wireless sensor networks, security, and model-driven development.
Journal ArticleDOI
Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
TL;DR: A new abstraction technique is proposed that is applicable to any nonlinear sampled-data control system as long as the authors are only interested in its behavior in a compact set.
Proceedings ArticleDOI
Formal verification of hybrid systems
TL;DR: This article briefly review selected existing approaches to formal verification of hybrid systems, along with directions for future research.
Proceedings ArticleDOI
TuLiP: a software toolbox for receding horizon temporal logic planning
TL;DR: TuLiP applies the receding horizon framework, allowing the synthesis problem to be broken into a set of smaller problems, and consequently alleviating the computational complexity of the synthesis procedure, while preserving the correctness guarantee.
Proceedings ArticleDOI
Taylor Model Flowpipe Construction for Non-linear Hybrid Systems
TL;DR: This paper provides techniques for handling the effect of discrete transitions on Taylor model flow pipe construction and explores various solutions based on two ideas: domain contraction and range over-approximation.