Increasing complexity in engineering projects raises difficult challenges in industry and requires effective tools for correct-by-construction design or design verification. This book addresses the design of such tools for correct-by-construction synthesis of supervisors for systems and specifications represented in the discrete-event framework. The approach employed uses Petri nets as discrete-event models and structural methods for the synthesis of supervisors, and may lead to significant computational benefits.Highlighting recent progress in the design of supervisors by structural methods, the book represents a novel contribution to the field. One of the main features of the presentation is the demonstration that structural methods can address a variety of supervisor specifications under diverse supervision settings. Applications of the methods presented are emphasized by considering various concurrency assumptions and types of system uncontrollability and unobservability. Also considered is the supervision problem for decentralized settings and hybrid dynamical systems. All proposed methods are fully worked-out, ready to use, and formally proven in a sound setting. design are also given. The work is self-contained and includes necessary background on Petri nets and supervision. Requiring only basic knowledge of undergraduate-level discrete mathematics, the text is accessible to a broad audience. Researchers and developers from various engineering fields may find effective means to reduce the complexity of design problems in the discrete-event setting. Graduate students may use the work as a self-study reference, and portions of the text may be used in advanced courses on discrete-event systems.

"There are three words that characterize this work: thoroughness, completeness and clarity. The authors are congratulated for taking the time to write an excellent linear systems textbook! a ]The authors have used their mastery of the subject to produce a textbook that very effectively presents the theory of linear systems as it has evolved over the last thirty years. The result is a comprehensive, complete and clear exposition that serves as an excellent foundation for more advanced topics in system theory and control." a "IEEE Transactions on Automatic Control

"In assessing the present book as a potential textbook for our first graduate linear systems course, I find...[that] Antsaklis and Michel have contributed an expertly written and high quality textbook to the field and are to be congratulateda ]. Because of its mathematical sophistication and completeness the present book is highly recommended for use, both as a textbook as well as a reference." a "Automatica

Linear systems theory plays a broad and fundamental role in electrical, mechanical, chemical and aerospace engineering, communications, and signal processing. A thorough introduction to systems theory with emphasis on control is presented in this self-contained textbook.

The book examines the fundamental properties that govern the behavior of systems by developing their mathematical descriptions. Linear time-invariant, time-varying, continuous-time, and discrete-time systems are covered. Rigorous development of classic and contemporary topics in linear systems, as well as extensive coverage of stability and polynomial matrix/fractional representation, provide the necessary foundation for further study of systemsand control.

Linear Systems is written as a textbook for a challenging one-semester graduate course; a solutions manual is available to instructors upon adoption of the text. The booka (TM)s flexible coverage and self-contained presentation also make it an excellent reference guide or self-study manual.

*******

For a treatment of linear systems that focuses primarily on the time-invariant case using streamlined presentation of the material with less formal and more intuitive proofs, see the authorsa (TM) companion book entitled A Linear Systems Primer.

It is with great pleasure that I offer my reflections on Professor Anthony N. Michel's retirement from the University of Notre Dame. I have known Tony since 1984 when he joined the University of Notre Dame's faculty as Chair of the Depart ment of Electrical Engineering. Tony has had a long and outstanding career. As a researcher, he has made im portant contributions in several areas of systems theory and control theory, espe cially stability analysis of large-scale dynamical systems. The numerous awards he received from the professional societies, particularly the Institute of Electrical and Electronics Engineers (IEEE), are a testament to his accomplishments in research. He received the IEEE Control Systems Society's Best Transactions Paper Award (1978), and the IEEE Circuits and Systems Society's Guillemin-Cauer Prize Paper Award (1984) and Myril B. Reed Outstanding Paper Award (1993), among others. In addition, he was a Fulbright Scholar (1992) and received the Alexander von Hum boldt Forschungspreis (Alexander von Humboldt Research Award for Senior U.S. Scientists) from the German government (1997). To date, he has written eight books and published over 150 archival journal papers. Tony is also an effective administrator who inspires high academic standards."

A graduate-level textbook, Hybrid Dynamical Systems provides an accessible and comprehensive introduction to the theory of hybrid systems. It emphasizes results that are central to a good understanding of the importance and role of such systems. The authors have developed the materials in this book while teaching courses on hybrid systems, cyber-physical systems, and formal methods. This textbook helps students to become familiar with both the major approaches coloring the study of hybrid dynamical systems. The computer science and control systems points of view - emphasizing discrete dynamics and real time, and continuous dynamics with switching, respectively - are each covered in detail. The book shows how the behavior of a system with tightly coupled cyber- (discrete) and physical (continuous) elements can best be understood by a model simultaneously encompassing all the dynamics and their interconnections. The theory presented is of fundamental importance in a wide range of emerging fields from next-generation transportation systems to smart manufacturing.Features of the text include: extensive use of examples to illustrate the main concepts and to provide insights additional to those acquired from the main text; chapter summaries enabling students to assess their progress; end-of-chapter exercises, which test learning as a course proceeds; an instructor's guide showing how different parts of the book can be exploited for different course requirements; and a solutions manual, freely available for download by instructors adopting the book for their teaching. Access to MATLAB and Stateflow is not required but would be beneficial, especially for exercises in which simulations are a key tool.

Supervisory Control of Discrete Event Systems Using Petri Nets presents a novel approach to its subject. The concepts of supervisory control and discrete event systems are explained, and the background material on general Petri net theory necessary for using the book's control techniques is provided. A large number of examples is used to illustrate the concepts and techniques presented in the text, and there are plenty of references for those interested in additional study or more information on a particular topic. Supervisory Control of Discrete Event Systems Using Petri Nets is intended for graduate students, advanced undergraduates, and practicing engineers who are interested in the control problems of manufacturing, communication and computer networks, chemical process plants, and other high-level control applications. The text is written from an engineering perspective, but it is also appropriate for students of computer science, applied mathematics, or economics. The book contains enough background material to stand alone as an introduction to supervisory control with Petri nets, but it may also be used as a supplemental text in a course on discrete event systems or intelligent autonomous control.

This monograph introduces a class of networked control systems (NCS) called model-based networked control systems (MB-NCS) and presents various architectures and control strategies designed to improve the performance of NCS. The overall performance of NCS considers the appropriate use of network resources, particularly network bandwidth, in conjunction with the desired response of the system being controlled.

The bookbegins with a detailed description of the basic MB-NCS architecture that provides stability conditions in terms of state feedback updates. It also covers typical problems in NCS such as network delays, network scheduling, and data quantization, as well as more general control problems such as output feedback control, nonlinear systems stabilization, and tracking control.

Key features and topics include: Time-triggered and event-triggered feedback updatesStabilization of uncertain systems subject to time delays, quantization, and extended absence of feedbackOptimal control analysis and design of model-based networked systemsParameter identification and adaptive stabilization of systems controlled over networksThe MB-NCS approach to decentralized control of distributed systems

"Model-Based Control of Networked Systems"will appeal to researchers, practitioners, and graduate students interested in the control of networked systems, distributed systems, and systems with limited feedback."

Supervisory Control of Discrete Event Systems Using Petri Nets presents a novel approach to its subject. The concepts of supervisory control and discrete event systems are explained, and the background material on general Petri net theory necessary for using the book's control techniques is provided. A large number of examples is used to illustrate the concepts and techniques presented in the text, and there are plenty of references for those interested in additional study or more information on a particular topic. Supervisory Control of Discrete Event Systems Using Petri Nets is intended for graduate students, advanced undergraduates, and practicing engineers who are interested in the control problems of manufacturing, communication and computer networks, chemical process plants, and other high-level control applications. The text is written from an engineering perspective, but it is also appropriate for students of computer science, applied mathematics, or economics. The book contains enough background material to stand alone as an introduction to supervisory control with Petri nets, but it may also be used as a supplemental text in a course on discrete event systems or intelligent autonomous control.

It is with great pleasure that I offer my reflections on Professor Anthony N. Michel's retirement from the University of Notre Dame. I have known Tony since 1984 when he joined the University of Notre Dame's faculty as Chair of the Depart ment of Electrical Engineering. Tony has had a long and outstanding career. As a researcher, he has made im portant contributions in several areas of systems theory and control theory, espe cially stability analysis of large-scale dynamical systems. The numerous awards he received from the professional societies, particularly the Institute of Electrical and Electronics Engineers (IEEE), are a testament to his accomplishments in research. He received the IEEE Control Systems Society's Best Transactions Paper Award (1978), and the IEEE Circuits and Systems Society's Guillemin-Cauer Prize Paper Award (1984) and Myril B. Reed Outstanding Paper Award (1993), among others. In addition, he was a Fulbright Scholar (1992) and received the Alexander von Hum boldt Forschungspreis (Alexander von Humboldt Research Award for Senior U.S. Scientists) from the German government (1997). To date, he has written eight books and published over 150 archival journal papers. Tony is also an effective administrator who inspires high academic standards.

Based on a streamlined presentation of the authors' successful work Linear Systems, this textbook provides an introduction to systems theory with an emphasis on control. Initial chapters present necessary mathematical background material for a fundamental understanding of the dynamical behavior of systems. Each chapter includes helpful chapter descriptions and guidelines for the reader, as well as summaries, notes, references, and exercises at the end. The emphasis throughout is on time-invariant systems, both continuous- and discrete-time.

Recent technological developments in sensing, communications, control and computation have created an emerging class of complex systems hereon called networked embedded systems. These systems can be roughly described as collections of spatially distributed sensors, actuators and controllers whose behaviour is coordinated through wired or wireless communication links. This integration between different technologies and scientific domains presents new and challenging fundamental problems underlying the theoretical foundations for this class of systems. This workshop aims at bringing together researchers working of different aspects of networked embedded systems in order to exchange research experiences and to identify the main scientific challenges in this exciting new area.

Hybrid systems are interacting networks of digital and continuous systems. - brid systems arise throughout business and industry in areas such as interactive distributed simulation, trac control, plant process control, military command and control, aircraft and robot design, and path planning. Three of the fun- mental problems that hybrid systems theory should address are: How to model physical and information systems as hybrid systems; how to verify that their - havior satis es program or performance specic ations; and how to extract from performancespeci cationsforanetworkofphysicalsystemsandtheirsimulation models digital control programs which will force the network to obey its perf- mance speci cation. This rapidly developing area is at the interface of control, engineeringandcomputer science. Methods under developmentareextensionsof thosefromdiverseareassuchasprogramveri cation, concurrentanddistributed processes, logic programming, logics of programs, discrete event simulation, c- culus of variations, optimization, di erential geometry, Lie algebras, automata theory, dynamical systems, etc. When the rst LNCS volume Hybrid Systems was published in 1993, the e ect was to focus the attention of researchers worldwide on developing theory andengineeringtoolsapplicabletohybridsystemsinwhichcontinuousprocesses interact with digital programs in real time. At the time of publication of this fth volume, there is general agreement that this is an important area in which mathematics, control engineering, and computer science can be fruitfully c- bined. There are now hybrid system sections in many engineering and computer scienceinternationalmeetings, hybridsystems researchgroupsin manyuniver- ties and industrial laboratories, and also other excellent series of hybrid systems conferenc

This book constitutes the thoroughly refereed post-conference documentation of the Fourth International Conference on Hybrid Systems held in Ithaca, NY, USA, in October 1996. The volume presents 19 carefully revised full papers selected from numerous submissions. Hybrid systems research focuses on modeling, design, and validation of interacting systems (plants) and computer programs (control automata). This volume is devoted to hybrid systems models, formal verification, computer simulation, goal reachability, algorithms for extracting hybrid control programs, and application models for avionics, highway traffic control, and air traffic control.

This book documents the scientific outcome of the Third International Workshop on Hybrid Systems, held in Ithaca, NY, USA, in October 1994. It presents a selection of carefully reviewed and revised full papers chosen from the workshop contribution and is the successor to LNCS 736, the seminal "Hybrid Systems" volume edited by Grossman, Nerode, Ravn, and Rischel.
Hybrid systems are models for networks of digital and continuous devices, in which digital control programs sense and supervise continuous and discrete plants governed by differential or difference equations. The investigation of hybrid systems is creating a new and fascinating discipline bridging mathematics, computer science, and control engineering.

Die stiirmische Entwicklung von der Pdinatalen Diagnose zur Pranatalen Medizin hat bisherige festgefligte Vorstellungen ins Wanken gebracht. Begriffe wie "Schwanger- schaftsabbruch" und "friihe Einleitung" beginnen sich zu iiberdecken. Wenn auch die Zahl der angeborenen Erkrankungen, die man pranatal behandeln kann, noch sehr klein ist, so beeindruckt doch die Moglichkeit, aus einigen wenigen Zellen schon im ersten Trimester schwierige Diagnosen stellen zu konnen. Noch ist es zu fruh zu entscheiden, ob wir an der Schwelle zum Umschlag von der Amniozentese zur Chorionbiopsie stehen. Immerhin zeigt auch diese Entwicklung, wie aufregend sich die Dinge entwickelt haben. Wenn man die Literatur, insbesondere die angloamerikanische verfolgt und Einblick in das dortige System hat, wird klar, daB sich hier mit der Pranatalen Medizin eine neue Subdisziplin neben der feto-maternalen Medizin herausschalt. Dieser stiirmischen Entwicklung ist im deutschen Sprachraum die Information nicht nachgekommen; das zeigt die vielen Besucher bei den diesbeziiglichen Fortbil- dungsveranstaltungen. Insofern war ein kompetentes Buch im deutschen Sprachraum iiberfa1lig. Herr Priv. -Doz. Dr. med. Wolfgang Holzgreve, M. S. (U. S. A. ), hat sich mit diesem Buch einen groBen Verdienst erworben. Kaumjemand erscheint so berufen zu sein, ein Buch iiber die "Pranatale Medizin" herauszugeben. Nach langjiihriger Tatigkeit bei Prof. Golbus in San Francisco hat Wolfgang Holzgreve die europaische Entwicklung durch seine Forschungsarbeit maBgeblich beeinfluBt.

The methods for hybrid systems are distributed across a wide spectrum, ranging from methods known in the discrete (cyber-)domain at one end, to traditional approaches for the continuous physical systems at the other. Rooted at opposite ends, both computer scientists and control theorists have made significant contributions to the field of hybrid systems by extending traditional methods from the traditional discrete or continuous domain to deal with hybrid systems. However, in general, there has been little work on integrating methods from these two domains. This is possibly because the formal methods pursued in computer science traditionally lie in the realm of discrete mathematics, while control theory approaches lie mainly in the realm of continuous mathematics. A noticeable trend in the recent hybrid system literature emphasizes the synthesis of hybrid controllers for continuous or hybrid dynamical systems to satisfy complicated temporal logic specifications. This is known as symbolic control or hybrid supervisory control, which can be seen as a crosstalk between these two schools of thoughts. Hybrid Dynamical Systems balances the emphasis on methods from both computer science and control theory, and gives the readers a complete picture of the whole field of hybrid dynamical systems. As well as providing a concise overview for a researcher in the field, the tutorial style makes it suitable for use in a course and by students.