On the planning problem in sequential control
- 9 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 1819-1823
- https://doi.org/10.1109/cdc.1991.261726
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- Hybrid dynamical systems theory and the Signal languageIEEE Transactions on Automatic Control, 1990
- Planning in polynomial timePublished by Springer Nature ,1990
- Finitely recursive process models for discrete event systemsIEEE Transactions on Automatic Control, 1988
- Planning for conjunctive goalsArtificial Intelligence, 1987
- Supervisory Control of a Class of Discrete Event ProcessesSIAM Journal on Control and Optimization, 1987
- Introduction to Mathematical LogicPublished by Springer Nature ,1987
- A linear-system-theoretic view of discrete-event processes and its use for performance evaluation in manufacturingIEEE Transactions on Automatic Control, 1985
- Towards a general theory of action and timeArtificial Intelligence, 1984
- A new approach to the analysis of discrete event dynamic systemsAutomatica, 1983
- Strips: A new approach to the application of theorem proving to problem solvingArtificial Intelligence, 1971