Exploiting implicit representations in timed automaton verification for controller synthesis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2289, Issue , 2002, Pages 225-238

  Goldman, Robert P ^a   Musliner, David J ^a   Pelican, Michael J S ^a  

^a HONEYWELL TECHNOLOGY CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

HYBRID SYSTEMS; MODEL CHECKING; VERIFICATION;

AUTOMATIC CONTROLLERS; CONTROLLER SYNTHESIS; CONTROLLER SYNTHESIS MODULES; HIGH CONFIDENCE SOFTWARE; IMPLICIT REPRESENTATION; STATE-SPACE EXPLOSION; VERIFICATION PROBLEMS; VERIFICATION TECHNIQUES;

CONTROLLERS;

EID: 84958169747     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45873-5_19     Document Type: Conference Paper

References (15)

1. K. Altisen, G. Goessler, A. Pnueli, J. Sifakis, S. Tripakis, and S. Yovine. A framework for scheduler synthesis. In Proceedings of the 1999 IEEE Real-Time Systems Symposium (RTSS’99), Phoenix, AZ, December 1999. IEEE Computer Society Press.
2. E. Asarin, Oded Maler, and Amir Pneuli. Symbolic controller synthesis for discrete and timed systems. In Panos Antsaklis, Wolf Kohn, Anil Nerode, and Shankar Sastry, editors, Proceedings of Hybrid Systems II. Springer Verlag, 1995.
3. C. Daws, A. Olivero, S. Tripakis, and S. Yovine. The tool Kronos. In Hybrid Systems III, 1996.
4. Erann Gat. News from the trenches: An overview of unmanned spacecraft for AI. In Illah Nourbakhsh, editor, AAAI Technical Report SSS-96-04: Planning with Incomplete Information for Robot Problems. American Association for Artificial Intelligence, March 1996.
5. Fausto Giunchiglia and Paolo Traverso. Planning as model-checking. In Proceedings of ECP-99. Springer Verlag, 1999.
6. Robert P. Goldman, David J. Musliner, Kurt D. Krebsbach, and Mark S. Boddy. Dynamic abstraction planning. In Proceedings of the Fourteenth National Conference on Artificial Intelligence, pages 680–686, Menlo Park, CA, July 1997. American Association for Artificial Intelligence, AAAI Press/MIT Press.
7. Froduald Kabanza. On the synthesis of situation control rules under exogenous events. In Chitta Baral, editor, Theories of Action, Planning, and Robot Control: Bridging the Gap, number WS-96-07, pages 86–94. AAAI Press, 1996.
8. Oded Maler, Amir Pneuli, and Joseph Sifakis. On the synthesis of discrete controllers for timed systems. In Ernst W. Mayr and Claude Puech, editors, STACS 95: Theoretical Aspects of Computer Science, pages 229–242. Springer Verlag, 1995.
9. Drew McDermott. Using regression-match graphs to control search in planning. Artificial Intelligence, 109(1 – 2):111–159, April 1999.
10. David J. Musliner, Edmund H. Durfee, and Kang G. Shin. CIRCA: a cooperative intelligent real-time control architecture. IEEE Transactions on Systems, Man and Cybernetics, 23(6):1561–1574, 1993.
11. David J. Musliner, Edmund H. Durfee, and Kang G. Shin. World modeling for the dynamic construction of real-time control plans. Artificial Intelligence, 74(1):83-127, March 1995.
12. David J. Musliner and Robert P. Goldman. CIRCA and the Cassini Saturn orbit insertion: Solving a prepositioning problem. In Working Notes of the NASA Workshop on Planning and Scheduling for Space, October 1997.
13. Stavros Tripakis, January 2002.
14. Stavros Tripakis and Karine Altisen. On-the-fly controller synthesis for discrete and dense-time systems. In J. Wing, J.Woodcock, and J. Davies, editors, Formal Methods 1999, volume 1 of Lecture Notes in Computer Science, pages 233–252. Springer Verlag, Berlin, 1999.
15. S. Yovine. Kronos: A verification tool for real-time sytems. In Springer International Journal of Software Tools for Technology Transfer, volume 1, October 1997.