Workshop on Control of Hybrid and Discrete Event Systems

Ramavarapu Sreenivas, ( rsree@uiuc.edu )
University of Illinois at Urbana-Champaign, USA

Toshimitsu Ushio, ( ushio@sys.es.osaka-u.ac.jp )
University of Osaka, Japan

José-Manuel Colom, ( jm@unizar.es )
University of Zaragoza, Spain

The workshop on Control of Hybrid and Discrete Event Systems will be held as part of the 26th International Conference on the Application and Theory of Petri Nets and other Models of Concurrency . This workshop is intended to bring together researchers in the areas of Petri nets and Control of Hybrid and Discrete Event Systems. Specifically, this workshop is intended to present current issues in the area of Hybrid and Discrete Event Systems to the community of Petri net researchers. Petri nets could play an important role in the modeling and computational aspects of supervisory control of Hybrid and Discrete Event Systems. The presentations in the workshop will provide a realistic impression of the state-of-art in the theory of supervisory control of Hybrid and Discrete Event Systems. It is hoped that this workshop will raise fresh and independent theories and tools from the community of Petri net researchers that address several open problems in the area of supervisory control. Last but not least, we hope the workshop will serve as a meeting point for researchers in Petri nets and the control of Hybrid and Discrete Event Systems, which could lead to fruitful collaborations in the future. The main topics that will be covered include: Modeling and representations Computability and complexity issues Tools for analysis and verification Tools for synthesis and design Control and optimization Sciences domains and Engineering applications With the ideas in mind, the workshop has been organized by direct invitation to the speakers, all of whom are known not only for their major contributions to Hybrid and DES supervision and control but also for their works in the area of Petri nets or closely related models. Eleven talks will be presented by: Peter Caines (McGill University, Canada) Computation of Hybrid Control Laws: From Exponential to Linear Complexity Kunihiko Hiraishi (Japan Advanced Institute of Science and Technology, Japan) Computational Tools for Designing Hybrid Systems Based on Constraint Satisfaction Larry Holloway (University of Kentucky, USA) Automated Control Synthesis and Fault Monitoring for Discrete Event Systems of Interacting Components Raja Sengupta (University of California at Berkeley, USA) To be announced Kurt Rohloff (University of Illinois at Urbana-Champaign, USA) Information Acquisition, Approximation Algorithms and Supervisory Control Marian Iordache (LeTerneau University, USA) A Survey on the Supervision of Petri Nets Tatsuya Suzuki (Nagoya University, Japan) Modeling and Analysis of Human Behavior based on Hybrid System Model C. Mahulea (University of Zaragoza, Spain), A. Ramírez (CINVESTAV, Guadalajara, Mexico), L. Recalde and M. Silva (University of Zaragoza, Spain) On the Control of Continuous Petri nets under infinite server semantics Xiaolan Xie and N. Rezg (INRIA / LGIPM, France) Petri net control with theory of regions René Boel and G. Jiroveanu (Ghent University, Belgium) Multi-agent contextual diagnosis of large Petri nets Ratnesh Kumar (Iowa State University, USA) To be announced Proceedings will be distributed to the attendees. Some papers will be selected after the Workshop to be published in a special issue of a journal of the area of Discrete/Hybrid Systems.