Verification and controller synthesis for resource-constrained real-time systems: Case study of an autonomous truck
暂无分享,去创建一个
[1] Kim G. Larsen,et al. Efficient On-the-Fly Algorithms for the Analysis of Timed Games , 2005, CONCUR.
[2] Kim G. Larsen,et al. UPPAAL-Tiga: Time for Playing Games! , 2007, CAV.
[3] George J. Pappas,et al. Optimal Paths in Weighted Timed Automata , 2001, HSCC.
[4] Kim G. Larsen,et al. Minimum-Cost Reachability for Priced Timed Automata , 2001, HSCC.
[5] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[6] Supratik Mukhopadhyay,et al. Optimal-Reachability and Control for Acyclic Weighted Timed Automata , 2002, IFIP TCS.
[7] Alberto L. Sangiovanni-Vincentelli,et al. Synthesis of Robust Control Systems under Resource Constraints , 2002, HSCC.
[8] Kim G. Larsen,et al. Model-Checking One-Clock Priced Timed Automata , 2007, FoSSaCS.
[9] Kim G. Larsen,et al. Optimal Conditional Reachability for Multi-priced Timed Automata , 2005, FoSSaCS.
[10] Kim G. Larsen,et al. Almost Optimal Strategies in One Clock Priced Timed Games , 2006, FSTTCS.
[11] Paul Pettersson,et al. REMES: A Resource Model for Embedded Systems , 2009, 2009 14th IEEE International Conference on Engineering of Complex Computer Systems.
[12] Kim G. Larsen,et al. Optimal Strategies in Priced Timed Game Automata , 2004, FSTTCS.
[13] Kim G. Larsen,et al. Optimal scheduling using priced timed automata , 2005, PERV.
[14] Véronique Bruyère,et al. On Optimal Timed Strategies , 2005, FORMATS.
[15] Rajeev Alur,et al. Optimal Reachability for Weighted Timed Games , 2004, ICALP.
[16] Patricia Bouyer,et al. Improved undecidability results on weighted timed automata , 2006, Inf. Process. Lett..
[17] Kim G. Larsen,et al. A Tutorial on Uppaal , 2004, SFM.
[18] Kim G. Larsen,et al. Model Checking One-clock Priced Timed Automata , 2007, Log. Methods Comput. Sci..
[19] Séverine Sentilles,et al. Save-IDE - A tool for design, analysis and implementation of component-based embedded systems , 2009, 2009 IEEE 31st International Conference on Software Engineering.
[20] Kim G. Larsen,et al. Staying Alive as Cheaply as Possible , 2004, HSCC.
[21] Kim G. Larsen,et al. Optimal infinite scheduling for multi-priced timed automata , 2008, Formal Methods Syst. Des..
[22] Joseph Sifakis,et al. On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract) , 1995, STACS.
[23] Luciano Lavagno,et al. Synthesis of software programs for embedded control applications , 1999, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..