Academic Journal
Optimal Infinite Temporal Planning:Cyclic Plans for Priced Timed Automata
| العنوان: | Optimal Infinite Temporal Planning:Cyclic Plans for Priced Timed Automata |
|---|---|
| المؤلفون: | Tollund, Rasmus G., Johansen, Nicklas S., Nielsen, Kristian, Torralba, Álvaro, Larsen, Kim G. |
| المساهمون: | Bernardini, Sara, Muise, Christian |
| المصدر: | Tollund , R G , Johansen , N S , Nielsen , K , Torralba , Á & Larsen , K G 2024 , Optimal Infinite Temporal Planning : Cyclic Plans for Priced Timed Automata . in S Bernardini & C Muise (eds) , Proceedings of the 34th International Conference on Automated Planning and Scheduling, ICAPS 2024 . AAAI Press , Proceedings International Conference on Automated Planning and Scheduling, ICAPS , vol. 34 , pp. 588-596 , 34th International Conference on Automated Planning and Scheduling, ICAPS 2024 , Banaff , Canada , 01/06/2024 . https://doi.org/10.1609/icaps.v34i1.31521 |
| بيانات النشر: | AAAI Press |
| سنة النشر: | 2024 |
| المجموعة: | Aalborg University (AAU): Publications / Aalborg Universitet: Publikationer |
| الوصف: | Many applications require infinite plans-i.e. an infinite sequence of actions-in order to carry out some given process indefinitely. In addition, it is desirable to guarantee optimality. In this paper, we address this problem in the setting of doubly-priced timed automata, where we show how to efficiently compute ratio-optimal cycles for optimal infinite plans. For efficient computation, we present symbolic λdeduction (S-λD), an any-time algorithm that uses a symbolic representation (priced zones) to search the state-space with a compact representation of the time constraints. Our approach guarantees termination while arriving at an optimal solution. Our experimental evaluation shows that S-λD outperforms the alternative of searching in the concrete state space; is very robust with respect to fine-grained temporal constraints; and has a very good anytime behaviour. |
| نوع الوثيقة: | article in journal/newspaper |
| اللغة: | English |
| ردمك: | 978-1-57735-889-3 1-57735-889-9 |
| Relation: | urn:ISBN:9781577358893 |
| DOI: | 10.1609/icaps.v34i1.31521 |
| الاتاحة: | https://vbn.aau.dk/da/publications/dd0fd312-f616-4dc4-bfe9-a8a5be7183ea https://doi.org/10.1609/icaps.v34i1.31521 http://www.scopus.com/inward/record.url?scp=85195903176&partnerID=8YFLogxK |
| Rights: | info:eu-repo/semantics/closedAccess |
| رقم الانضمام: | edsbas.2CD56CB5 |
| قاعدة البيانات: | BASE |
| ردمك: | 9781577358893 1577358899 |
|---|---|
| DOI: | 10.1609/icaps.v34i1.31521 |