Hybrid Systems V

This book constitutes the strictly refereed post-proceedings of the 5th International Hybrid Systems Workshop held in Notre Dame, Indiana, USA in September 1998. The 23 revised full papers presented in the book have gone through two rounds of thorough reviewing and revision. The volume presents state-of-the-art research results and particularly addresses such areas as program verification, concurrent and distributed processes, logic programming, logics of programs, discrete event simulation, calculus of variations, optimization, differential geometry, Lie algebras, automata theory, dynamical systems, etc.

The emerging area of hybrid dynamical systems lies at the interface of control theory and computer science, i.e., analogue 'and' digital aspects of systems. This new monograph presents state-of-the-art concepts, methods and tools for analyzing and describing hybrid dynamical systems.

Because they incorporate both time- and event-driven dynamics, stochastic hybrid systems (SHS) have become ubiquitous in a variety of fields, from mathematical finance to biological processes to communication networks to engineering. Comprehensively integrating numerous cutting-edge studies, Stochastic Hybrid Systems presents a captivating treatment of some of the most ambitious types of dynamic systems. Cohesively edited by leading experts in the field, the book introduces the theoretical basics, computational methods, and applications of SHS. It first discusses the underlying principles behind SHS and the main design limitations of SHS. Building on these fundamentals, the authoritative contributors present methods for computer calculations that apply SHS analysis and synthesis techniques in practice. The book concludes with examples of systems encountered in a wide range of application areas, including molecular biology, communication networks, and air traffic management. It also explains how to resolve practical problems associated with these systems. Stochastic Hybrid Systems achieves an ideal balance between a theoretical treatment of SHS and practical considerations. The book skillfully explores the interaction of physical processes with computerized equipment in an uncertain environment, enabling a better understanding of sophisticated as well as everyday devices and processes.

This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Control (HSCC 2004) held in Philadelphia, USA, from March 25 to 27, 2004. The annual workshop on hybrid systems attracts researchers from academia and industry interested in modeling, analysis, and implemen- tion of dynamic and reactive systems involving both discrete and continuous behaviors. The previous workshops in the HSCC series were held in Berkeley, USA(1998),Nijmegen,TheNetherlands(1999),Pittsburgh,USA(2000),Rome, Italy (2001), Palo Alto, USA (2002), and Prague, Czech Republic (2003). This year’s HSCC was organized in cooperation with ACM SIGBED (Special Interest Group on Embedded Systems) and was technically co-sponsored by the IEEE Control Systems Society. The program consisted of 4 invited talks and 43 regular papers selected from 117 regular submissions. The program covered topics such as tools for analysis and veri?cation, control and optimization, modeling, and engineering applica- ons, as in past years, and emerging directions in programming language support and implementation. The program also contained one special session focusing on the interplay between biomolecular networks, systems biology, formal methods, andthecontrolofhybridsystems.

These are the proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006, March 2006. 39 revised papers are presented together with the abstracts of 3 invited talks. The focus is on modeling, analysis, and implementation of dynamic and reactive systems involving both discrete and continuous behaviors. Topics addressed include tools for analysis and verification, control and optimization, modeling, engineering applications, and new directions in language support and implementation.

In control theory, sliding mode control (SMC) is a nonlinear control method that alters the dynamics of a nonlinear system by application of a discontinuous control signal that forces the system to slide along a cross-section of the system's normal behaviour. In recent years, SMC has been successfully applied to a wide variety of practical engineering systems including robot manipulators, aircraft, underwater vehicles, spacecraft, flexible space structures, electrical motors, power systems, and automotive engines. Sliding Mode Control of Uncertain Parameter-Switching Hybrid Systems addresses the increasing demand for developing SMC technologies and comprehensively presents the new, state-of-the-art sliding mode control methodologies for uncertain parameter-switching hybrid systems. It establishes a unified framework for SMC of Markovian jump singular systems and proposes new SMC methodologies based on the analysis results. A series of problems are solved with new approaches for analysis and synthesis of switched hybrid systems, including stability analysis and stabilization, dynamic output feedback control, and SMC. A set of newly developed techniques (e.g. average dwell time, piecewise Lyapunov function, parameter-dependent Lyapunov function, cone complementary linearization) are exploited to handle the emerging mathematical/computational challenges. Key features: Covers new concepts, new models and new methodologies with theoretical significance in system analysis and control synthesis Includes recent advances in Markovian jump systems, switched hybrid systems, singular systems, stochastic systems and time-delay systems Includes solved problems Introduces advanced techniques Sliding Mode Control of Uncertain Parameter-Switching Hybrid Systems is a comprehensive reference for researchers and practitioners working in control engineering, system sciences and applied mathematics, and is also a useful source of information for senior undergraduate and graduates studying in these areas.