Computer Aided Control System Design
Hybrid Dynamic Systems
Chair: Pieter J. Mosterman      
IEEE 
Control Systems Society

home (
Jan 03, 2005) glossary (
Jun 28, 2004) projects (
Jun 28, 2004) groups (
Jun 28, 2004) centers (
Jun 28, 2004) people (
Oct 01, 2004) publications (
Jun 28, 2004) software (
Oct 01, 2004) news (
Jun 28, 2004) other (
Jun 28, 2004) benchmarks (
Jun 28, 2004)

News

This page contains the latest news on hybrid systems. If you would like to announce something or other, please send me e-mail and I will put it in the appropriate place. Thanks!

Electronic Newsletters

Hybrid E-Letters archive This page houses the archives for the hybrid e-letters. The Hybrid E-letters is an electronic newsletter produced by the IEEE Technical Committee on hybrid dynamical systems. The letters contain recent announcement, articles, and commentary on recent events within the hybrid systems research community.

Announcements

International Workshop on Principles of Diagnosis (DX-02) , Semmering, Austria, May 2-4, 2002.
16th European Simulation Multiconference (ESM'2002), Darmstadt, Germany, June 3 - 5, 2002.
10th Mediterranean Conference on Control and Automation (MED2002), Lisbon, Portugal, July 9-12, 2002.
15th IFAC World Congress on Automatic Control, Barcelona, Spain, July 21-26, 2002.
5th Portuguese Conference on Automatic Control (CONTROLO 2002), Aveiro, Portugal, September 5-7, 2002.
Hybrid Systems: Computation and Control Fifth International Workshop, Stanford, California, March 25-27, 2002
2001 IEEE Conference on Control Applications (CCA) & 2001 IEEE International Symposium on Intelligent Control (ISIC), Mexico City, Mexico, September 5-7, 2001
11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME 2001), Livingstone, Scotland, September 4-7, 2001
Workshop on Real-Time Tools (RT-TOOLS'2001), Aalborg, Denmark, August 20, 2001
5th IFAC Symposium Nonlinear Control Systems (NOLCOS 2001), Saint-Petersburg, Russia, July 4-6, 2001
The Fifth Multi-Conference on Systemics, Cybernetics and Informatics (SCI), Orlando, Florida, July 22 - 25, 2001
Fifth Dynamics Workshop Dynamics and Verification, Royal Academy of Sciences, Brussels, Belgium, July 16-17, 2001
12th IEEE International Workshop on Rapid System prototyping (RSP'2001), Monterey Beach Resort, California, USA, June 25-27, 2001
Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2001), Genova, Italy, April 2-6, 2001
Hybrid Systems: Computation and Control (Fourth International Workshop), Roma, Italy, March 28-30, 2001
Twentieth IASTED International Conference Modelling, Identification and Control (MIC 2001), Innsbruck, Austria, February 19-22, 2001
IEEE International Conference on Control Applications & IEEE International Symposium on Computer-Aided Control System Design, Anchorage Hilton, Anchorage, Alaska, USA, September 25-27, 2000
Automation of Mixed Processes: Hybrid Dynamic Systems (ADPM2000), Dortmund, Germany, September 18-19, 2000
5th Workshop on Discrete Event Systems (WODES2000), Ghent, Belgium, August 21-23, 2000
IASTED International Conference Applied Simulation and Modelling (ASM 2000), Banff, Alberta, Canada, July 24-26, 2000
IEEE Southeastern Conference 2000 (SoutheastCon 2000), Nashville, TN, April 7 - 9, 2000
Hybrid Systems: Computation and Control (Third Annual Workshop), Pittsburgh, Pennsylvania, March 23-25, 2000
2000 Southwest Symposium on Mixed-Signal Design, San Diego, California, February 27-29, 2000
1999 IEEE Conference on Decision and Control Phoenix, Arizona, USA, December 7-10, 1999.
1999 IEEE International Conference on Control Applications and IEEE International Symposium on Computer-Aided Control System Design  Kohala Coast-Island of Hawai'i, USA, August 22-26, 1999.
Hybrid Systems: Computation and Control Nijmegen, The Netherlands, March 29-31, 1999.
1999 AAAI Spring Symposium Series on Artificial Intelligence Hybrid Systems and AI: Modeling, Analysis and Control of Discrete + Continuous Systems Stanford, California, March 22-24, 1999.
IUTAM Symposium on Unilateral Multibody Dynamics Munich, Germany, August 3-7, 1998.
KIT Workshop on Verification of Hybrid Systems Grenoble, France, October 19-21, 1998.
37th IEEE Conference on Decision and Control Tampa, Florida, December 15, 1998. Tutorial Workshop.

Special Issues

IEEE Transactions on Control System Technology, Special issue on "Computer Automated Multi-Paradigm Modeling", Pieter J. Mosterman and Sebastian Engell (eds.).

It will include papers on:

  • automated model transformation to integrate disciplines in control system design and realization;
  • problem- and domain-specific formalisms and tool design;
  • automated data-transformation to combine and integrate control system design tools;
  • composition and integration of heterogeneous execution models;
  • analysis tools for heterogeneous control system models.

Papers should be submitted before February 1, 2002.



ACM Transactions on Modeling and Computer Simulation, Special issue on "Computer Automated Multi-Paradigm Modeling", Pieter J. Mosterman and Hans Vangheluwe (eds.).

It will include papers on:

  • multi-formalism modeling;
  • meta-modeling;
  • (multi-)abstraction issues;
  • extending static semantics with dynamic semantics;
  • separating abstract from concrete syntax.

Papers should be submitted before September 1, 2001.



International Journal of Adaptive Control and Signal Processing, Volume 15, Issue 3, 2001, Special issue on "Switching and Logic in Adaptive Control", Joćo Hespanha and Daniel Liberzon (eds.).

The special issue compiles a collection of papers that bring to light common paradigms, as well as distinct approaches, that emerge from the work of a representative set of researchers in the field. It contains papers of both theoretical and practical nature.



Journal of Discrete Event Dynamic Systems, 11(1/2), January 2001, Special issue on "Hybrid Petri Nets", Angela Di Febbraro, Alessandro Giua, and Giuseppe Menga (eds.).

It includes papers that describe the state-of-the-art in this domain of research, present effective hybrid Petri net models, extend Petri net analysis techniques proper to discrete models to hybrid models, and show examples of application.



Systems and Control Letters, Volume 38, Issue 3, October, 1999, Special issue on "Hybrid Control Systems", Robin J. Evans and Andrey V. Savkin (eds.).

Topics include modeling, analysis, and synthesis of hybrid control systems, computer-aided design and simulation, engineering problems with a hybrid character.



IEEE Control Systems, Volume 19, Number 4, August, 1999, Special issue on "Hybrid Control Systems".


Automatica, Volume 35, Issue 4, April, 1999, Special issue on "Hybrid Systems".


IEEE Transactions on Automatic Control, Volume 43, Number 4, April, 1998, Special issue on "Hybrid Control Systems".

Web Sites

Hybrid Petri Net Bibliography, this web-page collects a list of references in the field of Hybrid Petri Nets

Conferences

International Embedded and Hybrid Systems Conference (IEHSC 2005)  
Singapore, April 12-15, 2005
August 15, 2004 Abstracts due
November 30, 2004 Notification of acceptance
February 1, 2005 Final manuscript due


The International Conference on Integrated Modeling & Analysis in Applied Control & Automation (IMAACA2004) 
Genova, Italy, 28-31 October, 2004
February 15, 2004 Submission of full papers
April 15, 2004 Notification of acceptance
July 1, 2004 Final versions due


2004 IEEE International Symposium on Computer Aided Control Systems Design (CACSD04) 
Taipei, Taiwan, September 2-4, 2004
January 31, 2004 Submission of full papers
April 15, 2004 Notification of acceptance
May 15, 2004 Final manuscript due


ICSE 2004 workshop on Software Engineering for Automotive Systems 
Edinburgh, UK, May 25, 2004
March 8, 2004 Submission of full papers
March 29, 2004 Notification of acceptance
April 12, 2004 Final versions due
EDITORIAL

This page was last updated June 28, 2004 .