TY  - CONF
AU  - Lesi, Vuk
AU  - Jakovljević, Živana
AU  - Pajić, Miroslav
PY  - 2019
UR  - https://machinery.mas.bg.ac.rs/handle/123456789/3119
AB  - Reconfigurable manufacturing systems supported by Industrial Internet-of-Things (IIoT) are modular and easily integrable, promoting efficient system/component reconfigurations with minimal downtime. Industrial systems are commonly based on sequential controllers described with Control Interpreted Petri Nets (CIPNs). Existing design methodologies to distribute centralized automation/control tasks focus on maintaining functional properties of the system during the process, while disregarding failures that may occur during execution (e. g., communication packet drops, sensing or actuation failures). Consequently, in this work, we provide a missing link for reliable IIoT-based distributed automation. We introduce a method to transform distributed control models based on CIPNs into Stochastic Reward Nets that enable integration of realistic fault models (e. g., probabilistic link models). We show how to specify desired system properties to enable verification under the adopted communication/fault models, both at design-and run-time; we also show feasibility of runtime verification on the edge, with a continuously updated system model. Our approach is used on real industrial systems, resulting in modifications of local controllers to guarantee reliable system operation in realistic IIoT environments.
PB  - Assoc Computing Machinery, New York
C3  - Proceedings of the 2019 International Conference on Internet of Things Design and Implementation (IoTDI ’19)
T1  - Reliable Industrial IoT-Based Distributed Automation
EP  - 105
SP  - 94
DO  - 10.1145/3302505.3310072
ER  - 

@conference{
author = "Lesi, Vuk and Jakovljević, Živana and Pajić, Miroslav",
year = "2019",
abstract = "Reconfigurable manufacturing systems supported by Industrial Internet-of-Things (IIoT) are modular and easily integrable, promoting efficient system/component reconfigurations with minimal downtime. Industrial systems are commonly based on sequential controllers described with Control Interpreted Petri Nets (CIPNs). Existing design methodologies to distribute centralized automation/control tasks focus on maintaining functional properties of the system during the process, while disregarding failures that may occur during execution (e. g., communication packet drops, sensing or actuation failures). Consequently, in this work, we provide a missing link for reliable IIoT-based distributed automation. We introduce a method to transform distributed control models based on CIPNs into Stochastic Reward Nets that enable integration of realistic fault models (e. g., probabilistic link models). We show how to specify desired system properties to enable verification under the adopted communication/fault models, both at design-and run-time; we also show feasibility of runtime verification on the edge, with a continuously updated system model. Our approach is used on real industrial systems, resulting in modifications of local controllers to guarantee reliable system operation in realistic IIoT environments.",
publisher = "Assoc Computing Machinery, New York",
journal = "Proceedings of the 2019 International Conference on Internet of Things Design and Implementation (IoTDI ’19)",
title = "Reliable Industrial IoT-Based Distributed Automation",
pages = "105-94",
doi = "10.1145/3302505.3310072"
}

Lesi, V., Jakovljević, Ž.,& Pajić, M.. (2019). Reliable Industrial IoT-Based Distributed Automation. in Proceedings of the 2019 International Conference on Internet of Things Design and Implementation (IoTDI ’19)
Assoc Computing Machinery, New York., 94-105.
https://doi.org/10.1145/3302505.3310072

Lesi V, Jakovljević Ž, Pajić M. Reliable Industrial IoT-Based Distributed Automation. in Proceedings of the 2019 International Conference on Internet of Things Design and Implementation (IoTDI ’19). 2019;:94-105.
doi:10.1145/3302505.3310072 .

Lesi, Vuk, Jakovljević, Živana, Pajić, Miroslav, "Reliable Industrial IoT-Based Distributed Automation" in Proceedings of the 2019 International Conference on Internet of Things Design and Implementation (IoTDI ’19) (2019):94-105,
https://doi.org/10.1145/3302505.3310072 . .

TY  - CONF
AU  - Lesi, Vuk
AU  - Jakovljević, Živana
AU  - Pajić, Miroslav
PY  - 2019
UR  - https://machinery.mas.bg.ac.rs/handle/123456789/3172
AB  - Due to misaligned clock sources, distributed control in Cyber-Physical Systems (CPS) requires not only synchronous execution of control algorithms on distributed system components, which we refer to as cyber-synchronization, but also appropriate generation of actuation signals-we refer to this as physical-synchronization. In this paper, we define general requirements for cyber-physical synchronization, as well as show their use on a specific real-world application-distributed motion control for reconfigurable manufacturing systems. We present synchronization challenges in such systems and investigate effects of synchronization errors on the overall system functionality (i.e., machining accuracy). Furthermore, we introduce a low-cost synchronization scheme that can be implemented with of-the-shelf components and validate it on standardized accuracy tests with 2D configurations of industry-grade single-axis robots. We show that our cyber-physical synchronization techniques ensure minimal accuracy impairment of distributed motion control without introducing significant cost/overhead to system design.
PB  - Institute of Electrical and Electronics Engineers Inc.
C3  - IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
T1  - Synchronization of Distributed Controllers in Cyber-Physical Systems
EP  - 717
EP  - ONR [N00014-17-1-2504]
SP  - 710
VL  - 2019
DO  - 10.1109/ETFA.2019.8869467
ER  - 

@conference{
author = "Lesi, Vuk and Jakovljević, Živana and Pajić, Miroslav",
year = "2019",
abstract = "Due to misaligned clock sources, distributed control in Cyber-Physical Systems (CPS) requires not only synchronous execution of control algorithms on distributed system components, which we refer to as cyber-synchronization, but also appropriate generation of actuation signals-we refer to this as physical-synchronization. In this paper, we define general requirements for cyber-physical synchronization, as well as show their use on a specific real-world application-distributed motion control for reconfigurable manufacturing systems. We present synchronization challenges in such systems and investigate effects of synchronization errors on the overall system functionality (i.e., machining accuracy). Furthermore, we introduce a low-cost synchronization scheme that can be implemented with of-the-shelf components and validate it on standardized accuracy tests with 2D configurations of industry-grade single-axis robots. We show that our cyber-physical synchronization techniques ensure minimal accuracy impairment of distributed motion control without introducing significant cost/overhead to system design.",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
journal = "IEEE International Conference on Emerging Technologies and Factory Automation, ETFA",
title = "Synchronization of Distributed Controllers in Cyber-Physical Systems",
pages = "717-ONR [N00014-17-1-2504]-710",
volume = "2019",
doi = "10.1109/ETFA.2019.8869467"
}

Lesi, V., Jakovljević, Ž.,& Pajić, M.. (2019). Synchronization of Distributed Controllers in Cyber-Physical Systems. in IEEE International Conference on Emerging Technologies and Factory Automation, ETFA
Institute of Electrical and Electronics Engineers Inc.., 2019, 710-717.
https://doi.org/10.1109/ETFA.2019.8869467

Lesi V, Jakovljević Ž, Pajić M. Synchronization of Distributed Controllers in Cyber-Physical Systems. in IEEE International Conference on Emerging Technologies and Factory Automation, ETFA. 2019;2019:710-717.
doi:10.1109/ETFA.2019.8869467 .

Lesi, Vuk, Jakovljević, Živana, Pajić, Miroslav, "Synchronization of Distributed Controllers in Cyber-Physical Systems" in IEEE International Conference on Emerging Technologies and Factory Automation, ETFA, 2019 (2019):710-717,
https://doi.org/10.1109/ETFA.2019.8869467 . .