A unifying specification logic for cyber-physical systems
Bujorianu, Marius C., Bujorianu, Manuela and Barringer, H. (2009) A unifying specification logic for cyber-physical systems. In: 17th Mediterranean Conference on Control and Automation, 2009. MED '09, Thessaloniki, Greece, 24-26 Jun 2009. Published in: 17th Mediterranean Conference on Control & Automation June 24-26, 2009, Makedonia Palace, Thessaloniki, Greece pp. 1166-1171.Full text not available from this repository.
Official URL: http://dx.doi.org/10.1109/MED.2009.5164681
The varieties of possible interaction between computational systems and physical environments is at the heart of a new modeling paradigm called cyber-physical systems. In order to model and control these interactions it necessary to present the fundamental properties of physical environments in a formalism compatible with the computational structures, usually in a formal logic or an algebraic calculus. In this paper, we propose a model as a step towards reasoning about the problems of uncertainty and surprise in the context of cyber-physical systems operating under mixed human/autonomous control. In controlling embedded devices, human operators are, in most cases, assisted by automated controllers (like driving assistance systems and automatic pilots). A new issue appeared in many applications is to model the automatic controllers which are user centric, i.e. the controllers are carrying a runtime monitoring of the system behaviour in its environment, they inform and warn the user on safety hazardous situation and they take action only when the user fails to react. A robust controller should be able to operate in open, random environments and to assist the human operator in case of appearance of surprising, possible catastrophic situations.
|Item Type:||Conference Item (Paper)|
|Divisions:||Faculty of Science > Mathematics|
|Journal or Publication Title:||17th Mediterranean Conference on Control & Automation June 24-26, 2009, Makedonia Palace, Thessaloniki, Greece|
|Page Range:||pp. 1166-1171|
|Conference Paper Type:||Paper|
|Title of Event:||17th Mediterranean Conference on Control and Automation, 2009. MED '09|
|Type of Event:||Conference|
|Location of Event:||Thessaloniki, Greece|
|Date(s) of Event:||24-26 Jun 2009|
Actions (login required)