Abstract
We present an approach to model supervisory control systems based on extended behaviour networks. In particular, we employ them to formalize the control theory of the supervisor. By separating the reasoning in the supervisor and the action implementation in the controller, the overall system architecture becomes modular, and therefore easily changeable and modifiable.

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-153

BibTeX:

@inproceedings{REWERSE-RP-2006-153,
	author = {Pierangelo Dell'Acqua and Anna Lombardi and Luís Moniz Pereira},
	title = {A Logic-Based Approach to Model Supervisory Control Systems},
	booktitle = {Proceedings of 16th International Symposium on Methodologies for Intelligent Systems, Bari, Italy (27th--29th September 2006)},
	year = {2006},
	volume = {4203},
	series = {LNAI},
	pages = {534--539},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-153}
}