000231724 001__ 231724
000231724 005__ 20190415234641.0
000231724 037__ $$aREP_WORK
000231724 245__ $$aOrdering Events Based on Intentionality in Cyber-Physical Systems
000231724 269__ $$a2017
000231724 260__ $$c2017
000231724 300__ $$a13
000231724 336__ $$aReports
000231724 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.
000231724 6531_ $$aintentionality
000231724 6531_ $$acausality
000231724 6531_ $$aordering
000231724 6531_ $$areplication
000231724 6531_ $$acyber-physical systems
000231724 6531_ $$aepfl-smartgrids
000231724 700__ $$g240021
$$aSaab, Wajeb$$0248632
000231724 700__ $$g233690
$$aMaaz, Mashood Mohiuddin$$0247879
000231724 700__ $$g218853
$$aBliudze, Simon$$0246725
000231724 700__ $$g105633
$$aLe Boudec, Jean-Yves$$0241098
000231724 700__ $$g240021
$$aSaab, Wajeb$$0248632
000231724 700__ $$g233690
$$aMaaz, Mashood Mohiuddin$$0247879
000231724 700__ $$g218853
$$aBliudze, Simon$$0246725
000231724 700__ $$g105633
$$aLe Boudec, Jean-Yves$$0241098
000231724 700__ $$g240021$$aSaab, Wajeb$$0248632
000231724 700__ $$g233690$$aMaaz, Mashood Mohiuddin$$0247879
000231724 700__ $$g218853$$aBliudze, Simon$$0246725
000231724 700__ $$g105633$$aLe Boudec, Jean-Yves$$0241098
000231724 8560_ $$fwajeb.saab@epfl.ch
000231724 8564_ $$uhttps://infoscience.epfl.ch/record/231724/files/ordering-TR.pdf$$zPreprint$$s289669$$yPreprint
000231724 8564_ $$uhttps://infoscience.epfl.ch/record/231724/files/ordering-Tech.pdf$$zPOSTPRINT$$s290749
000231724 8564_ $$uhttps://infoscience.epfl.ch/record/231724/files/ordering-Tech.pdf?subformat=pdfa$$zPOSTPRINT$$s1570156$$xpdfa
000231724 909C0 $$xU10427$$0252453$$pLCA2
000231724 909CO $$ooai:infoscience.tind.io:231724$$qGLOBAL_SET$$pIC$$preport
000231724 917Z8 $$x240021
000231724 937__ $$aEPFL-REPORT-231724
000231724 973__ $$aEPFL$$rREVIEWED$$sPUBLISHED
000231724 980__ $$aREP_WORK