Synthesizing plant controllers using real-time goals

Authors:
M. Barbeau;F. Kabanza;R. St-Denis
Affiliations:
Departement de mathematiques et d'informatique, Universite de Sherbrooke, Sherbrooke, Quebec, Canada;Departement de mathematiques et d'informatique, Universite de Sherbrooke, Sherbrooke, Quebec, Canada;Departement de mathematiques et d'informatique, Universite de Sherbrooke, Sherbrooke, Quebec, Canada
Venue:
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Year:
1995

Citing 5
Cited 9

Artificial intelligence

Artificial intelligence
Temporal and modal logic

Handbook of theoretical computer science (vol. B)
Planning and control

Planning and control
Model-checking in dense real-time

Information and Computation - Special issue: selections from 1990 IEEE symposium on logic in computer science
Real-time logics: complexity and expressiveness

Information and Computation - Special issue: selections from 1990 IEEE symposium on logic in computer science

Planning for temporally extended goals

Annals of Mathematics and Artificial Intelligence
Focusing qualitative simulation using temporal logic: theoretical foundations

Annals of Mathematics and Artificial Intelligence
Temporal representation and reasoning in artificial intelligence: Issues and approaches

Annals of Mathematics and Artificial Intelligence
Reasoning about Robot Actions: A Model Checking Approach

Revised Papers from the International Seminar on Advances in Plan-Based Control of Robotic Agents,
Maintenance goals of agents in a dynamic environment: Formulation and policy construction

Artificial Intelligence
Learning in Planning with Temporally Extended Goals and Uncontrollable Events

Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Non-monotonic temporal logics that facilitate elaboration tolerant revision of goals

AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Analyzing LTL Model Checking Techniques for Plan Synthesis and Controller Synthesis (Work in Progress)

Electronic Notes in Theoretical Computer Science (ENTCS)
Planning for temporally extended goals

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2

Quantified Score

Hi-index	0.00

Visualization

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.