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