Conflict-tolerant specifications for hybrid systems


Autoria(s): D'Souza, Deepak; Gopinathan, Madhu; Ramesh, S; Sampath, Prahladavaradan
Data(s)

01/07/2013

Resumo

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.

Formato

application/pdf

Identificador

http://eprints.iisc.ernet.in/48120/1/Jou_Indi_Inst_Scie_93-3_403_2013.pdf

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.

Publicador

Indian Institute of Science

Relação

http://journal.iisc.ernet.in/index.php/iisc/article/view/2170

http://eprints.iisc.ernet.in/48120/

Palavras-Chave #Computer Science & Automation (Formerly, School of Automation)
Tipo

Journal Article

PeerReviewed