{"type":"ScholarlyArticle","title":"Synthesizing Plant Controllers Using Real-time Goals","authors":[{"name":"Michel Barbeau","slug":"michel-barbeau","given":"Michel","family":"Barbeau","affiliation":"Departement de mathematiques et d'informatique Universite de Sherbrooke Sherbrooke , Quebec JlK 2Rl Canada"},{"name":"Froduald Kabanza","slug":"froduald-kabanza","given":"Froduald","family":"Kabanza","affiliation":"Departement de mathematiques et d'informatique Universite de Sherbrooke Sherbrooke , Quebec JlK 2Rl Canada"},{"name":"Richard St-Denis","slug":"richard-st-denis","given":"Richard","family":"St-Denis","affiliation":"Departement de mathematiques et d'informatique Universite de Sherbrooke Sherbrooke , Quebec JlK 2Rl Canada"}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1995/103","pdf":"https://ijcai.org/proceedings/1995/0103.pdf","markdown":"https://ijcai.org/proceedings/1995/103.md","bibtex":"https://ijcai.org/proceedings/1995/bibtex/103","volume":{"slug":"1995","title":"Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1995","url":"https://ijcai.org/proceedings/1995/","year":1995,"location":"Montréal, Québec, Canada","dates":"","editors":"Chris S. Mellish","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Knowledge Base Technology","track":"Knowledge Base Technology","number":103,"pages":{"first":791,"last":799},"keywords":[],"videos":[],"references":[{"position":1,"raw":"[Alur and Benzinger, 1993] R. Alur and T. Benzinger. Real-time logics: Complexity and expressiveness. In- formation and Computation, 104(1) :35-77, 1993.","title":"Real-time logics: Complexity and expressiveness","authors":"R Alur, T Benzinger","year":"1993","venue":"Information and Computation","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Alur et al. , 1993] R. Alur, C. Courcoubetis, D. Dill. Model-checking in dense real-time. mation and Computation, 104(1):2-34, 1993. and In for- [Bacchus and Kabanza, 1995]","title":"Model-checking in dense real-time","authors":"R Alur, C Courcoubetis, D Dill","year":"1993","venue":"mation and Computation","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"F . Bacchus and F. Ka- banza. Control strategies in planning. AAAI Spring Symposium Series. Extending Theories of Action: Formal Theory and Practical Applications, March 1995.","title":"Control strategies in planning","authors":"F Bacchus, F Kabanza","year":"1995","venue":"AAAI Spring Symposium Series. Extending Theories of Action: Formal Theory and Practical Applications","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Balemi et al., 1993] S. Balemi, G .J . Hoffman, P. Gyu- gyi, H. Wong-Toi, and G.F . Frankli. Supervisory con- trol of rapid thermal multiprocessor. IEEE Transac- tions on Automatic Control, 38(7) :1040-1059, 1993.","title":"Supervisory control of rapid thermal multiprocessor","authors":"S Balemi, G J Hoffman, P Gyugyi, H Wong-Toi, G F Frankli","year":"1993","venue":"IEEE Transactions on Automatic Control","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Brandin and Wonham, 1994] B. A. Brandin and W . M. Wonham . Supervisory control of timed discrete-event systems. IEEE Transactions on Automatic Control, 39(2) :329-42, 1994.","title":"Supervisory control of timed discrete-event systems","authors":"B A Brandin, W M Wonham","year":"1994","venue":"IEEE Transactions on Automatic Control","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Brandin, 1994] B. A. Brandin. Supervisory control of an experimental manufacturing cell. In Proceedings of Thirty-second Annual Allerton Conference on Com- munication, Control, and Computing, pages 699-708, Urbana-Champaign, 1994.","title":"Supervisory control of an experimental manufacturing cell","authors":"B A Brandin","year":"1994","venue":"Proceedings of Thirty-second Annual Allerton Conference on Communication, Control, and Computing","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Dean and Body, 1988] T. Dean and M. Body. An anal- ysis of time-dependent planning. In Proc. of Sixth National Conference on Artificial Intelligence, pages 49-54, 1988.","title":"An analysis of time-dependent planning","authors":"T Dean, M Body","year":"1988","venue":"Proc. of Sixth National Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Dean and Wellman , 1991] T . L. Dean and M. P. Well- man. Planning and Control. Morgan Kaufmann , 1991.","title":"Planning and Control","authors":"T L Dean, M P","year":"1991","venue":null,"doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Dean et al., 1993] T . Dean, L. P. Kaelbling, J. Kerman, and A. Nicholson. Planning with deadlines in stochas- tic domains. In Proc. of Eleventh National Conference on Artificial Intelligence, pages 574-579, 1993.","title":"Planning with deadlines in stochastic domains","authors":"T Dean, L P Kaelbling, J Kerman, A Nicholson","year":"1993","venue":"Proc. of Eleventh National Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Drummond and Bresina, 1990] M. Drummond and J . Bresina. Anytime synthetic projection: Maximaz- ing probability of goal satisfaction. In Proc. of Eighth National Conference on Artificial Intelligence, pages 138-144, 1990. 798 KNOWLEDGE BASE TECHNOLOGY [Emerson, 1990]","title":"Anytime synthetic projection: Maximazing probability of goal satisfaction","authors":"M Drummond, J Bresina","year":"1990","venue":"Proc. of Eighth National Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Th eo- retical Computer Science, volume B , pages 995-1072 . MIT Press/Elsevier, 1990.","title":"Temporal and modal logic","authors":"E A Emerson","year":"1990","venue":"Handbook of Th eoretical Computer Science","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Fikes and Nilsson, 1972] R. Fikes and N. J . Nilsson. Learning and executing generalized robots. Artificial Intelligence, 3( 4) :251-288, 1972.","title":"Learning and executing generalized robots","authors":"R Fikes, N J Nilsson","year":"1972","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Fusaoka et al., 1983] A. Fusaoka, H. Seki , and K. Taka- hashi. A description and reasoning of plant controllers in temporal logic. In Proceedings of the IJCAI, pages 405-408, 1983.","title":"A description and reasoning of plant controllers in temporal logic","authors":"A Fusaoka, H Seki, K Takahashi","year":"1983","venue":"Proceedings of the IJCAI","doi":null,"url":null,"internal_url":"/proceedings/1983/98"},{"position":14,"raw":"[Georgeff and Lansky, 1987] M. P. Georgeff and A. L. Lansky. Reactive reasoning and planning. In Proceed- ings of Fifth National Conference on Artificial Intel- ligence, pages 677-682 , 1987.","title":"Reactive reasoning and planning","authors":"M P Georgeff, A L Lansky","year":"1987","venue":"Proceedings of Fifth National Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Godefroid and Kabanza, 1991] P. Godefroid and F . Ka- banza. An efficient reactive planner for synthesizing reactive plans. In Proc. of Ninth National Conference on Artificial Intelligence, pages 640-645, 1991.","title":"An efficient reactive planner for synthesizing reactive plans","authors":"P Godefroid, F Kabanza","year":"1991","venue":"Proc. of Ninth National Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Kabanza, 1990] F. Kabanza. Synthesis of reactive plans for multi-path environments. In Proc. of Eighth National Conference on Artificial Intelligence, pages 164-169, 1990.","title":"Synthesis of reactive plans for multi-path environments","authors":"F Kabanza","year":"1990","venue":"Proc. of Eighth National Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Makungu et al., 1994] M. Makungu, M. Barbeau, and R. St-Denis. Synthesis of controllers with colored Petri nets. In Proceedings of Thirty-second Annual Allerton Conference on Communication, Control, and Com- puting, pages 709-718, Urbana-Champaign , 1994.","title":"Synthesis of controllers with colored Petri nets","authors":"M Makungu, M Barbeau, R St-Denis","year":"1994","venue":"Proceedings of Thirty-second Annual Allerton Conference on Communication, Control, and Computing","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Nilsson, 1994] N. J . Nilsson . Teleo-reactive programs for agent control. Journal of Artificial Intelligence Re- search, 1:139-158, 1994.","title":"Teleo-reactive programs for agent control","authors":"N J Nilsson","year":"1994","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Ramadge and Wonham, 1989] P. J. G. Ramadge and W. M. Wonham. The control of discrete event sys- tems. Proceedings of the IEEE, 77(1):81-98 , 1989.","title":"The control of discrete event systems","authors":"P J G Ramadge, W M Wonham","year":"1989","venue":"Proceedings of the IEEE","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Rich and Knight, 1991] E. Rich and K . Knight. Artifi- cial Intelligence. McGraw Hill, 1991.","title":"Artificial Intelligence","authors":"E Rich, K Knight","year":"1991","venue":null,"doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Stallman and Sussman, 1978] R . M. Stallman and G . J . Sussman. Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis. Artificial Intelligence, 9, 1978.","title":"Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis","authors":"R M Stallman, G J Sussman","year":"1978","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Thistle and Wonham, 1986] J . G. Thistle and W . M. Wonham. Control problems in a temporal logic frame-• work. International Journal on Control, 44( 4) :943- 976, 1986.","title":"Control problems in a temporal logic frame-• work","authors":"J G Thistle, W M Wonham","year":"1986","venue":"International Journal on Control","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}