Call for Papers
Special Issue on

Formal Methods for Modelling and Verification of Discrete Event Systems

The rapid evolution of computing, communication, and sensor technologies has brought `new' dynamic systems, mostly technological and often highly complex. Examples are: computer and communication networks; automated manufacturing systems; air traffic control systems; and distributed software systems. The actions in these systems are governed by operational rules defined by users; their dynamics are characterized by asynchronous occurrences of discrete events. These features define the well-known term of discrete event systems as a subclass of dynamic systems. Nowadays, many projects and research efforts have been done in academia and also in industry to control development complexities; we are interested in this Special Issue in Optimal Modelling and Verification of Discrete Event Systems.

Topics of interest include but are not limited to:

• Formalisms and modeling methodologies: Petri nets, state automata, statecharts, process algebras, max/plus-algebra...
• Control of discrete-event systems with emphasis on supervisory control and on real time control
• Verification, performance evaluation, diagnosis, optimization, implementation and scheduling
• Discrete approaches of hybrid, reactive and embedded systems
• Recent advances in fault-forecasting methods
• Formal methods for timed and probabilistic systems
• Modeling and analysis of stochastic systems
• Monitoring and diagnosis of discrete event systems
• Control of fault-tolerant discrete event systems
• Reconfiguration methods
• Interdisciplinary approaches for dependability improvement
• Applications to manufacturing and production systems, transport, power plants, healtcare systems, mechatronics and embedded systems
• Safety-critical systems
• System security
• Applications including manufacturing systems, transportation systems, process control, distributed systems, software engineering, office automation, protocols...
• Emerging applications in telecommunication systems and related fields: performance evaluation, on-line control...
• Software tools enabling efficient handling of industrial-sized systems.

Submitted papers should not have been previously published nor be currently under consideration for publication elsewhere. (N.B. Conference papers may only be submitted if the paper was not originally copyrighted and if it has been completely re-written). The papers should be submitted via the Manuscript Central website and should adhere to standard ACM TECS formatting requirements.
The page count limit is 25.

 

Timetable:

Manuscripts Due:	March 10, 2010
First Reviews Due:	approx. June 10, 2010
Final copy deadline:	approx. Aug 10 2010
tentative publication:	between November 10th 2010 and February, 10th 2011

Please note: disclosure of review results and the final copy deadline may differ.

 

Guest Editor(s):

• Dr. Mohamed Khalgui, Martin Luther University Germany Email
  
• Prof.Dr. Zhiwu Li, Xidian University Vhina, Email