+612 9045 4394
Hybrid Systems V : Environmental Science - Panos J. Antsaklis

Hybrid Systems V

Environmental Science

By: Panos J. Antsaklis (Editor), Wolf Kohn (Editor), Michael Lemmon (Editor), Anil Nerode (Editor), Shankar Sastry (Editor)

Paperback Published: 24th February 1999
ISBN: 9783540656432
Number Of Pages: 458

Share This Book:


or 4 easy payments of $42.43 with Learn more
Ships in 5 to 9 business days

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 conferences.

Control Synthesis of Hybrid Systems Based on Predicate Invariancep. 1
Computing Approximating Automata for a Class of Linear Hybrid Systemsp. 16
On Hybrid Systems and the Modal ยต-calculusp. 38
The Extended Linear Complementarity Problem and the Modeling and Analysis of Hybrid Systemsp. 70
Controller Scheduling Using Neural Networks: Implementation and Experimental Resultsp. 86
Rigorous Design of a Fault Diagnosis and Isolation Algorithmp. 100
Scalable Data and Sensor Fusion via Multiple Agent Hybrid Systemsp. 122
Hybrid Control Systems Using Timed Petri Nets: Supervisory Control Design Based on Invariant Propertiesp. 142
A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problemp. 163
Hybrid Systems with Finite Bisimulationsp. 186
Extracting Stable Timed Automata from Switched Model Reference Systemsp. 204
Sliding Mode Model Semantics and Simulation for Hybrid Systemsp. 218
Time-Deterministic Hybrid Transition Systemsp. 238
Heuristic Optimization and Dynamical System Safety Verificationp. 251
A Hybrid Receding-Horizon Control Scheme for Nonlinear Discrete-Time Systemsp. 262
Approximating Automata and Discrete Control for Continuous Systems - Two Examples from Process Controllp. 279
Action Systems with Continuous Behaviourp. 304
Towards Using Hybrid Automata for the Mission Planning of Unmanned Aerial Vehiclesp. 324
Optimal Controller Switching for Stochastic Systemsp. 341
Robust Control of Hybrid Systems: Performance Guided Strategiesp. 356
Analysis of Slope-Parametric Rectangular Automatap. 390
Control of Interval Temporal Systemsp. 414
Phase-Space Nonlinear Control Toolbox: The Maglev Experiencep. 429
Author Indexp. 445
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9783540656432
ISBN-10: 354065643X
Series: Environmental Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 458
Published: 24th February 1999
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.39
Weight (kg): 0.65