000252991 001__ 252991
000252991 005__ 20190619220012.0
000252991 0247_ $$2doi$$a10.1109/ICCPS.2018.00019
000252991 037__ $$aCONF
000252991 245__ $$aOrdering Events Based on Intentionality in Cyber-Physical Systems
000252991 260__ $$c2018
000252991 269__ $$a2018
000252991 300__ $$a12
000252991 336__ $$aConference Papers
000252991 520__ $$aWe consider cyber-physical systems (CPSs) comprising a central controller that might be replicated for high-reliability, and one or more process agents. The controller receives measurements from process agents, causing it to compute and issue setpoints that are sent back to process agents. The implementation of these setpoints causes a change in the state of the controlled physical process, and the new state is communicated to the controllers through resulting measurements. To ensure correct operation, the process agents must implement only those setpoints that were caused by their most recent measurements. However, in the presence of replication of the controller, network or computation delays, setpoints and measurements do not necessarily succeed in causing the intended behavior. To capture the dependencies among events associated with measurements and setpoints, we introduce the intentionality relation among such events in a CPS and illustrate its differences with respect to the happened-before relation. We propose a mechanism, intentionality clocks, and the design of controllers and process agents that can be used to guarantee the strong clock-consistency condition under the intentionality relation. Moreover, we prove that our design ensures correct operation despite crash, delay, and network faults. We also demonstrate the practical application of our abstraction through an illustration with a real-world CPS for electrical vehicles.
000252991 6531_ $$aintentionality
000252991 6531_ $$acausality
000252991 6531_ $$aordering
000252991 6531_ $$areplication
000252991 6531_ $$acyber-physical systems
000252991 6531_ $$aepfl-smartgrids
000252991 700__ $$g240021$$aSaab, Wajeb$$0248632
000252991 700__ $$g233690$$aMaaz, Mashood Mohiuddin$$0247879
000252991 700__ $$aBliudze, Simon$$0246725$$g218853
000252991 700__ $$0241098$$aLe Boudec, Jean-Yves$$g105633
000252991 7112_ $$dApril 11-13, 2018$$cPorto, Portugal$$a9th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)
000252991 773__ $$q107-118$$tProceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems
000252991 8560_ $$fwajeb.saab@epfl.ch
000252991 8564_ $$uhttps://infoscience.epfl.ch/record/252991/files/ICCPS_ordering_submission.pdf$$zPOSTPRINT$$s289745
000252991 8564_ $$uhttps://infoscience.epfl.ch/record/252991/files/ICCPS_ordering_submission.pdf?subformat=pdfa$$zPOSTPRINT$$s1563386$$xpdfa
000252991 909C0 $$xU10427$$pLCA2$$0252453
000252991 909CO $$ooai:infoscience.epfl.ch:252991$$qGLOBAL_SET$$pconf$$pIC
000252991 960__ $$awajeb.saab@epfl.ch
000252991 961__ $$apierre.devaud@epfl.ch
000252991 973__ $$rREVIEWED$$aEPFL
000252991 980__ $$aCONF
000252991 981__ $$aoverwrite