Browse our site
About
People
Research Areas
Projects
Publications
Books
Book chapters
Journal articles
In proceedings
M. Sc. Dissertations
Ph. D. Dissertations
Technical reports
Events
Seminars
News
Management
You are here:
Home
Publications
View
Publication details
Publication details
Main information
Title:
A Logic-Based Approach to Model Supervisory Control Systems
Publication date:
September 2006
Citation:
lmp2007
Abstract:
-
In proceedings
Authors:
P. Dell'Acqua
, Anna Lombardi,
Luís Moniz Pereira
Book title:
Proceedings in the 16th International Symposium on Methodologies for Intelligent Systems (ISMIS'06)
Series:
LNAI
Publisher:
Springer
Address:
Bari, Italy
Volume:
-
Pages:
-
ISBN:
-
ISSN:
-
Note:
-
Url address:
-
Export formats
Plain text:
P. Dell'Acqua and Anna Lombardi and Luís Moniz Pereira, A Logic-Based Approach to Model Supervisory Control Systems, , Proceedings in the 16th International Symposium on Methodologies for Intelligent Systems (ISMIS'06), LNAI, Springer, Bari, Italy, September 2006.
HTML:
<a href="http://centria.di.fct.unl.pt/people/members/view.php?code=c3899b9bc15364381381c58d138af552_amp_cscd=af70e179fffad55c4b0e34076f4639c9" class="author">P. Dell'Acqua</a>, Anna Lombardi and <a href="http://centria.di.fct.unl.pt/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb_amp_cscd=af70e179fffad55c4b0e34076f4639c9" class="author">Luís Moniz Pereira</a>, <b>A Logic-Based Approach to Model Supervisory Control Systems</b>, <u>Proceedings in the 16th International Symposium on Methodologies for Intelligent Systems (ISMIS'06)</u>, LNAI, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, Bari, Italy, September 2006.
BibTeX:
@inproceedings {lmp2007, author = {P. Dell'Acqua and Anna Lombardi and Lu\'{\i}s Moniz Pereira}, title = {A Logic-Based Approach to Model Supervisory Control Systems}, booktitle = {Proceedings in the 16th International Symposium on Methodologies for Intelligent Systems (ISMIS'06)}, series = {LNAI}, publisher = {Springer}, address = {Bari, Italy}, month = {September}, year = {2006}, }
Publication's urls
Full url:
http://centria.di.fct.unl.pt/publications/view.php?code=b22cb66fb7851548a7058267cafdaff9
Friendly url:
http://centria.di.fct.unl.pt/publications/view.php?code=lmp2007
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541