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.
|
PDF
Jou_Indi_Inst_Scie_93-3_403_2013.pdf - Published Version Download (970kB) | Preview |
Abstract
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 |
|---|---|
| Publication: | Journal of the Indian Institute of Science |
| Publisher: | Indian Institute of Science |
| Additional Information: | Copyright of this article belongs to Indian Institute of Science. |
| Department/Centre: | Division of Electrical Sciences > Computer Science & Automation |
| 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 |
