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.

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 > Mathematics
Journal or Publication Title:	17th Mediterranean Conference on Control & Automation June 24-26, 2009, Makedonia Palace, Thessaloniki, Greece
Publisher:	IEEE
ISSN:	9781424446841
Date:	2009
Page Range:	pp. 1166-1171
Identification Number:	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
URI:	http://wrap.warwick.ac.uk/id/eprint/49165

Request changes to a record

Actions (login required)

View Item