Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. Ordering Events Based on Intentionality in Cyber-Physical Systems
 
conference paper

Ordering Events Based on Intentionality in Cyber-Physical Systems

Saab, Wajeb  
•
Maaz, Mashood Mohiuddin  
•
Bliudze, Simon  
Show more
2018
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems
9th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)

We 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.

  • Files
  • Details
  • Metrics
Loading...
Thumbnail Image
Name

ICCPS_ordering_submission.pdf

Type

Postprint

Version

Accepted version

Access type

openaccess

Size

282.95 KB

Format

Adobe PDF

Checksum (MD5)

f07b553e35b4baab7d0c8d12e03b9751

Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés