Analysis and Design of Hybrid Systems 2006 :A Proceedings volume from the 2nd IFAC Conference, Alghero, Italy, 7-9 June 2006 ( IPV - IFAC Proceedings Volume )

Publication subTitle :A Proceedings volume from the 2nd IFAC Conference, Alghero, Italy, 7-9 June 2006

Publication series :IPV - IFAC Proceedings Volume

Author: Cassandras   Christos;Giua   Alessandro;Seatzu   Carla  

Publisher: Elsevier Science‎

Publication year: 2006

E-ISBN: 9780080475844

P-ISBN(Paperback): 9780080446134

P-ISBN(Hardback):  9780080446134

Subject: TP1 自动化基础理论

Language: ENG

Access to resources Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Description

This volume contains the proceedings of Analysis and Design of Hybrid Systems 2006: the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, organized in Alghero (Italy) on June 7-9, 2006.

ADHS is a series of triennial meetings that aims to bring together researchers and practitioners with a background in control and computer science to provide a survey of the advances in the field of hybrid systems, and of their ability to take up the challenge of analysis, design and verification of efficient and reliable control systems. ADHS'06 is the second Conference of this series after ADHS'03 in Saint Malo.

  • 65 papers selected through careful reviewing process
  • Plenary lectures presented by three distinguished speakers
  • Featuring interesting new research topics

Chapter

Front Cover

pp.:  1 – 2

Copyright Page

pp.:  3 – 8

Table of Contents

pp.:  8 – 14

Part 1: Plenary Lectures

pp.:  14 – 19

Part 3: WA2 - Continuous and Hybrid Petri Nets

pp.:  43 – 69

Part 4: WB1 - Modeling and Simulation of Hybrid Systems

pp.:  69 – 96

Part 5: WB2 - Control of Hybrid Systems 1

pp.:  96 – 119

Part 6: WC1 - Structural Analysis and Approximation of Hybrid Systems (Invited)

pp.:  119 – 143

Part 7: WC2 - Control of Hybrid Systems 2

pp.:  143 – 167

Part 8: TA1 - Stochastic Hybrid Systems

pp.:  167 – 198

Part 9: TA2 - Controller Design Based on Hybrid Models of Industrial Plants (Invited)

pp.:  198 – 230

Part 10: TB1 - Diagnosis and Identification

pp.:  230 – 254

Part 11: TB2 - Applications of Hybrid Control (Invited)

pp.:  254 – 278

Part 12: TC1 - Hybrid Simulation Tools: Principles, Challenges and Applications (Invited)

pp.:  278 – 289

Part 13: TC2 - Stability 1

pp.:  289 – 315

Part 14: FA1 - Model Predictive Control

pp.:  315 – 348

Part 15: FA2 - Stability 2

pp.:  348 – 378

Part 16: FBI - Verification and Safety

pp.:  378 – 408

Part 17: FB2 - Abstraction Based Approaches to Hybrid Control

pp.:  408 – 436

Author Index

pp.:  436 – 438