|
|
|
|
|
Bernard Zeigler
The DEVS formalism has been recognized to support generic open architectures that allow incorporating multiple engineering domains within integrated simulation models. What is missing for accelerated adoption of DEVS-based methodology for intelligent cyb...
ver más
|
|
|
|
|
|
|
|
|
|
|
Igor Melatti, Federico Mari, Ivano Salvo and Enrico Tronci
Cyber-physical systems are typically composed of a physical system (plant) controlled by a software (controller). Such a controller, given a plant state s and a plant action u, returns 1 iff taking action u in state s leads to the physical system goal or...
ver más
|
|
|
|
|
|
|
|
|
|
|
Gonçalo Pereira, Manuel Parente, João Moutinho and Manuel Sampaio
Decision support and optimization tools to be used in construction often require an accurate estimation of the cost variables to maximize their benefit. Heavy machinery is traditionally one of the greatest costs to consider mainly due to fuel consumption...
ver más
|
|
|
|
|
|
|
|
|
|
|
Alexander Vodyaho, Saddam Abbas, Nataly Zhukova and Michael Chervoncev
The distinctive feature of new generation information systems is not only their complexity in terms of number of elements, number of connections and hierarchy levels, but also their constantly changing structure and behavior. In this situation the proble...
ver más
|
|
|
|
|
|
|
|
|
|
|
Georgios Kavallieratos, Sokratis Katsikas and Vasileios Gkioulos
Safeguarding both safety and cybersecurity is paramount to the smooth and trustworthy operation of contemporary cyber physical systems, many of which support critical functions and services. As safety and security have been known to be interdependent, th...
ver más
|
|
|
|
|
|
|
|
|
|
|
Janusz Zalewski, Ingrid A. Buckley, Bogdan Czejdo, Steven Drager, Andrew J. Kornecki and Nary Subramanian
-
|
|
|
|
|
|
|
|
|
|
|
Janusz Zalewski, Ingrid A. Buckley, Bogdan Czejdo, Steven Drager, Andrew J. Kornecki and Nary Subramanian
This paper addresses the challenge of measuring security, understood as a system property, of cyberphysical systems, in the category of similar properties, such as safety and reliability. First, it attempts to define precisely what security, as a system ...
ver más
|
|
|
|
|
|