The Library
A unifying specification logic for cyber-physical systems
Tools
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. doi:10.1109/MED.2009.5164681 ISSN 9781424446841.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Official URL: http://dx.doi.org/10.1109/MED.2009.5164681
Abstract
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, Engineering and Medicine > Science > Mathematics | ||||
Journal or Publication Title: | 17th Mediterranean Conference on Control & Automation June 24-26, 2009, Makedonia Palace, Thessaloniki, Greece | ||||
Publisher: | IEEE | ||||
ISSN: | 9781424446841 | ||||
Official Date: | 2009 | ||||
Dates: |
|
||||
Page Range: | pp. 1166-1171 | ||||
DOI: | 10.1109/MED.2009.5164681 | ||||
Status: | Peer Reviewed | ||||
Publication Status: | Published | ||||
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 |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |