posted by user: AYCEMT || 1873 views || tracked by 3 users: [display]

Formal Methods 2019 : Formal Methods applied to Transportation and Industry 4.0

FacebookTwitterLinkedInGoogle

Link: http://codit19.com/Special-Sessions/Formal_Methods_Transportation_Industry4.0.pdf
 
When Apr 23, 2019 - Apr 26, 2019
Where Paris - France
Submission Deadline Dec 5, 2018
Notification Due Feb 8, 2019
Final Version Due Feb 28, 2019
Categories    formal methods   transportation   industry 4.0   applications
 

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

Session description:
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,
 Dioid algebra,
 Automata and Petri nets,
 Modelling and simulation,
 Decision support systems,
 Optimization and scheduling,
 Resource allocation,
 Monitoring,
 Supervisory control,
 Fault detection, isolation, and diagnosis.

Application areas include (not exclusively):
 Smart transportation,
 Smart manufacturing,
 Smart energy systems,
 Embedded systems,
 Power transmission systems,
 Sensor networks.


Related Resources

FMAS 2021   Third Workshop on Formal Methods for Autonomous Systems
ICONIP 2021   The 28th International Conference on Neural Information Processing (ICONIP2021)
CoSim-CPS 2021   5th Workshop on Formal Co-Simulation of Cyber-Physical Systems
ACML 2021   The 13th Asian Conference on Machine Learning
SEFM 2021   The 19th edition of the International Conference on Software Engineering and Formal Methods
WIIS 2021   Workshop on Intelligent Information Systems
CLNLP 2021   2021 2nd International Conference on Computational Linguistics and Natural Language Processing (CLNLP 2021)
JEDT 2021   International Journal of Electronic Design and Test
WoSCA 2021   WoSCA 2021 : 2nd International Workshop on Smart Contract Analysis
IJCSEA 2021   International Journal of Computer Science, Engineering and Applications