Theoretical Computer Science
Efficient Guiding Towards Cost-Optimality in UPPAAL
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Timing Assumptions and Verification of Finite-State Concurrent Systems
Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems
Minimum-Cost Reachability for Priced Timed Automata
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Optimal Paths in Weighted Timed Automata
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Kronos: A Model-Checking Tool for Real-Time Systems
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Scheduling Aircraft Landings--The Static Case
Transportation Science
Guided synthesis of control programs using UPPAAL
Nordic Journal of Computing
Scheduling a Steel Plant with Timed Automata
RTCSA '99 Proceedings of the Sixth International Conference on Real-Time Computing Systems and Applications
Task Graph Scheduling Using Timed Automata
IPDPS '03 Proceedings of the 17th International Symposium on Parallel and Distributed Processing
Synthesis of Optimal Strategies Using HyTech
Electronic Notes in Theoretical Computer Science (ENTCS)
Optimal conditional reachability for multi-priced timed automata
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Optimal strategies in priced timed game automata
FSTTCS'04 Proceedings of the 24th international conference on Foundations of Software Technology and Theoretical Computer Science
Weighted Timed Automata: Model-Checking and Games
Electronic Notes in Theoretical Computer Science (ENTCS)
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Cost Analysis for Embedded Systems: Experiments with Priced Timed Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Developing UPPAAL over 15 years
Software—Practice & Experience
Relating average and discounted costs for quantitative analysis of timed systems
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Generating tests from EFSM models using guided model checking and iterated search refinement
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
Dual-Priced modal transition systems with time durations
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Proceedings of the 45th Annual Simulation Symposium
Conformance testing for cyber-physical systems
ACM Transactions on Embedded Computing Systems (TECS)
ACM Computing Surveys (CSUR)
| Hi-index | 0.00 |
This contribution reports on the considerable effort made recently towards extending and applying well-established timed automata technology to optimal scheduling and planning problems. The effort of the authors in this direction has to a large extent been carried out as part of the European projects Vhs [22] and Ametist [17] and are available in the recently released Uppaal Cora [12], a variant of the real-time verification tool Uppaal [20,5] specialized for cost-optimal reachability for the extended model of priced timed automata.