Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Many applications are safety-critical, including car, railway, and air traffic control, robotics, physical–chemical process control, and biomedical devices. Hybrid systems analysis studies how we can build computerized controllers for physical systems which are guaranteed to meet their design goals. The author gives a unique, logic-based perspective on hybrid systems analysis. It is the first book that leverages the power of logic for hybrid systems. The author develops a coherent logical approach for systematic hybrid systems analysis, covering its theory, practice, and applications. It is further shown how the developed verification techniques can be used to study air traffic and railway control systems. This book is intended for researchers, postgraduates, and professionals who are interested in hybrid systems analysis, cyberphysical or embedded systems design, logic and theorem proving, or transportation and automation.

The era of detailed comparisons of the merits of techniques of pattern recognition and artificial intelligence and of the integration of such techniques into flexible and powerful systems has begun. So confirm the editors of this fourth volume of Pattern Recognition in Practice, in their preface to the book. The 42 quality papers are sourced from a broad range of international specialists involved in developing pattern recognition methodologies and those using pattern recognition techniques in their professional work. The publication is divided into six sections: Pattern Recognition, Signal and Image Processing, Probabilistic Reasoning, Neural Networks, Comparative Studies, and Hybrid Systems, giving prospective users a feeling for the applicability of the various methods in their particular field of specialization.

This book is a collection of contributions defining the state of current knowledge and new trends in hybrid systems – systems involving both continuous dynamics and discrete events – as described by the work of several well-known groups of researchers. Hybrid Dynamical Systems presents theoretical advances in such areas as diagnosability, observability and stabilization for various classes of system. Continuous and discrete state estimation and self-triggering control of nonlinear systems are advanced. The text employs various methods, among them, high-order sliding modes, Takagi–Sugeno representation and sampled-data switching to achieve its ends. The many applications of hybrid systems from power converters to computer science are not forgotten; studies of flexible-joint robotic arms and – as representative biological systems – the behaviour of the human heart and vasculature, demonstrate the wide-ranging practical significance of control in hybrid systems. The cross-disciplinary origins of study in hybrid systems are evident. Academic researchers and graduate students interested in hybrid and switched systems need look no further than Hybrid Dynamical Systems for a single source which will bring them up to date with work in this area from around the world.

With a simple approach that includes real-time applications and algorithms, this book covers the theory of model predictive control (MPC).

Sets out core theory and reviews new methods and applications to show how hybrid systems can be modelled and understood.

Complex systems typically possess a hierarchical structure, characterized by continuous-variable dynamics at the lowest level and logical decision-making at the highest. Virtually all control systems today perform computer-coded checks and issue logical as well as continuous-variable control commands. Such are 'hybrid' systems. Traditionally, the hybrid nature of these systems is suppressed by converting them into either purely discrete or continuous entities. Motivated by real-world problems, we introduce 'hybrid systems' as interacting collections of dynamical systems, evolving on continuous-variable state spaces, and subject to continuous controls and discrete phenomena. We identify the discrete phenomena that arise in hybrid systems and review previously proposed models. We propose a hybrid control model, coupling differential equations and automata, that encompasses them. Our unified model is natural for posing and solving hybrid analysis and control problems. We discuss topological issues that arise in hybrid systems analysis. Then we compare the computational capabilities of analog, digital, and hybrid machines by proposing intuitive notions of analog machines simulating digital ones. We show that simple continuous systems possess the power of universal computation. Hybrid systems have further simulation capabilities. For instance, we settle the famous asynchronous arbiter problem in both continuous and hybrid settings. Further, we develop analysis tools for limit cycle existence, perturbation robustness, and stability. We analyze a hybrid control system, typically used in aircraft, that logically switches between two conventional controllers. Stability of such systems has previously only been tested using extensive simulation; we prove global asymptotic stability for a realistic set of cases. Our tools demonstrate robustness of this stability with respect.

Hybrid Technologies for Power Generation addresses the topics related to hybrid technologies by coupling conventional thermal engines with novel technologies, including fuel cells, batteries, thermal storage and electrolysis, and reporting on the most recent advances concerning transport and stationary applications. Potential operating schemes of hybrid power generation systems are covered, highlighting possible combinations of technology and guideline selection according to the energy demands of end-users. Going beyond state-of-the-art technological developments for processes, devices and systems, this book discusses the environmental impact and existing hurdles of moving from a single device to new approaches for efficient energy generation, transfer, conversion, high-density storage and consumption. By describing the practical viability of novel devices coupled to conventional thermal devices, this book has a decisive impact in energy system research, supporting those in the energy research and engineering communities. Covers detailed thermodynamic requirements for multiple smart technologies included in hybrid systems (i.e., FC, electrolysers, supercapacitors, batteries, thermal storage, etc.) Features fundamental analysis and modeling to optimize the combination of smart technologies with traditional engines Details protocols for the analysis, operation and requirements of large-scale production