ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

Conflict-tolerant specifications for hybrid systems

D'Souza, Deepak and Gopinathan, Madhu and Ramesh, S and Sampath, Prahladavaradan (2013) Conflict-tolerant specifications for hybrid systems. In: Journal of the Indian Institute of Science, 93 (3). pp. 403-417.

Jou_Indi_Inst_Scie_93-3_403_2013.pdf - Published Version

Download (970kB) | Preview
Official URL: http://journal.iisc.ernet.in/index.php/iisc/articl...


We propose a framework for developing and reasoning about hybrid systems that are comprised of a plant with multiple controllers, each of which controls the plant intermittently. The framework is based on the notion of a ``conflict tolerant'' specification for a controller, and provides a modular way of developing and reasoning about such systems. We propose a novel mechanism of defining conflict-tolerant specifications for general hybrid systems, using ``acceptor'' and ``advisor'' components. We also give a decision procedure for verifying whether a controller satisfies its conflict-tolerant specification, in the special case when the components are modeled using initialized rectangular hybrid automata.

Item Type: Journal Article
Additional Information: Copyright of this article belongs to Indian Institute of Science.
Department/Centre: Division of Electrical Sciences > Computer Science & Automation
Depositing User: Francis Jayakanth
Date Deposited: 02 Jan 2014 06:39
Last Modified: 02 Jan 2014 06:39
URI: http://eprints.iisc.ac.in/id/eprint/48120

Actions (login required)

View Item View Item