Synthesizing Plant Controllers Using Real-time Goals

Barbeau, Michel; Kabanza, Froduald; St-Denis, Richard

Synthesizing Plant Controllers Using Real-time Goals

Michel Barbeau, Froduald Kabanza, Richard St-Denis

Download BibTeX Cite

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence. Knowledge Base Technology. Pages 791-799.

Abstract

This paper introduces a novel planning method for reactive agents. Our planning method handles, in a single framework, issues from AI, control theory, and concurrency that have so far been considered apart. These issues are mostly controllability, safety, bounded liveness, and real time. Our approach is founded on the supervisory control theory and on Metric Temporal Logic (MTL) . The highlights of our method consist of a new technique for incrementally checking MTL goal formulas over sequences of states generated by actions and a new method for backtracking during search by taking into account uncontrollable actions.

Michel Barbeau, Froduald Kabanza, and Richard St-Denis. 1995. Synthesizing Plant Controllers Using Real-time Goals. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI-95. IJCAI, 791–799. https://ijcai.org/proceedings/1995/103

@inproceedings{ijcai1995p103,
  title     = {Synthesizing Plant Controllers Using Real-time Goals},
  author    = {Barbeau, Michel and Kabanza, Froduald and St-Denis, Richard},
  booktitle = {Proceedings of the Fourteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-95}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Chris S. Mellish},
  pages     = {791--799},
  year      = {1995},
  note      = {Knowledge Base Technology},
  url       = {https://ijcai.org/proceedings/1995/103},
}

TY  - CPAPER
TI  - Synthesizing Plant Controllers Using Real-time Goals
AU  - Barbeau, Michel
AU  - Kabanza, Froduald
AU  - St-Denis, Richard
T2  - Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI-95
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1995
SP  - 791
EP  - 799
UR  - https://ijcai.org/proceedings/1995/103
ER  -