Formal Methods applied to Transportation and Industry 4.0, Paris, Frankreich

Session description:<br>Recent developments in cyber&#8211;physical systems lead to huge changes in the models, methods and tools used to help the decision making in numerous domains&#046; Smart Transportation and Industry 4&#046;0 concepts are already impacting the way that researchers develop and propose new issues to resolve problems related to industry and service&#046; In order to transform the paradigms of the Smart Transportation and Industry 4&#046;0 into reality, a lot of work is still needed at modeling and optimization levels&#046; Discrete event formalism, models and methods are concerned at first&#046;<br>This session is devoted to the development and use of formal tools and methodswith discrete event systems to contribute to these new challenges&#046; The aim is to discuss the new trends, review industrial needs and present innovative solutions in the transportation and production sectors&#046;<br>The session includes (but is not restricted to) the following topics:<br>Discrete event formalisms for Industry 4&#046;0 and Smart Transportation problems,<br>Dioid algebra,<br>Automata and Petri nets,<br>Modelling and simulation,<br>Decision support systems,<br>Optimization and scheduling,<br>Resource allocation,<br>Monitoring,<br>Supervisory control,<br>Fault detection, isolation, and diagnosis&#046;<br>Application areas include (not exclusively):<br>Smart transportation,<br>Smart manufacturing,<br>Smart energy systems,<br>Embedded systems,<br>Power transmission systems,<br>Sensor networks&#046;