Formal Methods 2019 : Formal Methods applied to Transportation and Industry 4.0
Call For Papers
Session Co-Chairs :
Prof. Dimitri Lefebvre, University Le Havre, France
Prof. Mariagrazia Dotoli, Polytechnic of Bari, Italy
Dr. Achraf Jabeur Telmoudi, University of Sousse,Tunisia
Recent developments in cyber-physical systems lead to huge changes in the models, methods and tools used to help the decision making in numerous domains. Smart Transportation and Industry 4.0 concepts are already impacting the way that researchers develop and propose new issues to resolve problems related to industry and service. In order to transform the paradigms of the Smart Transportation and Industry 4.0 into reality, a lot of work is still needed at modeling and optimization levels. Discrete event formalism, models and methods are concerned at first.
This session is devoted to the development and use of formal tools and methodswith discrete event systems to contribute to these new challenges. The aim is to discuss the new trends, review industrial needs and present innovative solutions in the transportation and production sectors.
The session includes (but is not restricted to) the following topics:
Discrete event formalisms for Industry 4.0 and Smart Transportation problems,
Automata and Petri nets,
Modelling and simulation,
Decision support systems,
Optimization and scheduling,
Fault detection, isolation, and diagnosis.
Application areas include (not exclusively):
Smart energy systems,
Power transmission systems,