Space for Traffic Manoeuvres: An Overview
暂无分享,去创建一个
[1] Jörg Raisch,et al. Discrete Supervisory Control of Hybrid Systems Based on l-Complete Approximations , 2002, Discret. Event Dyn. Syst..
[2] Ernst-Rüdiger Olderog,et al. Synthesizing and verifying controllers for multi-lane traffic maneuvers , 2017, Formal Aspects of Computing.
[3] Michael R. Hansen,et al. Duration Calculus: A Formal Approach to Real-Time Systems (Monographs in Theoretical Computer Science. an Eatcs Seris) , 2004 .
[4] John Lygeros,et al. Verified hybrid controllers for automated vehicles , 1998, IEEE Trans. Autom. Control..
[5] Michael R. Hansen,et al. Decidability and Undecidability Results for Duration Calculus , 1993, STACS.
[6] Sven Linker,et al. Spatial Reasoning About Motorway Traffic Safety with Isabelle/HOL , 2017, IFM.
[7] Martin Hilscher,et al. An Abstract Model for Proving Safety of Autonomous Urban Traffic , 2018, ICTAC.
[8] Kim G. Larsen,et al. Safe and Optimal Adaptive Cruise Control , 2015, Correct System Design.
[9] Ernst-Rüdiger Olderog,et al. Formalising a Hazard Warning Communication Protocol with Timed Automata , 2017, Models, Algorithms, Logics and Tools.
[10] Elias B. Kosmatopoulos,et al. Collision avoidance analysis for lane changing and merging , 1999, IEEE Trans. Veh. Technol..
[11] André Platzer,et al. Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified , 2011, FM.
[12] Anders P. Ravn,et al. An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres , 2011, ICFEM.
[13] Sven Linker,et al. Proof Theory of a Multi-Lane Spatial Logic , 2015, Log. Methods Comput. Sci..
[14] Qin Li,et al. A Spatial Logic for Modeling and Verification of Collision-Free Control of Vehicles , 2016, 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS).
[15] M. Althoff,et al. Safety Assessment of Autonomous Cars using Verification Techniques , 2007, 2007 American Control Conference.
[16] Pravin Varaiya,et al. Smart cars on smart roads: problems of control , 1991, IEEE Trans. Autom. Control..
[17] Hardi Hungar,et al. Verification of cooperating traffic agents , 2006 .
[18] C. A. R. Hoare,et al. A Calculus of Durations , 1991, Inf. Process. Lett..
[19] Martin Fränzle,et al. No Need Knowing Numerous Neighbours - Towards a Realizable Interpretation of MLSL , 2015, Correct System Design.
[20] Heinrich Ody,et al. Undecidability Results for Multi-Lane Spatial Logic , 2015, ICTAC.
[21] Andreas Schäfer. Axiomatisation and decidability of multi-dimensional Duration Calculus , 2007, Inf. Comput..
[22] C. A. R. Hoare,et al. Provably Correct Systems , 1994, FTRTFT.
[23] Jan H. van Schuppen,et al. Reachability and control synthesis for piecewise-affine hybrid systems on simplices , 2006, IEEE Transactions on Automatic Control.
[24] Ben C. Moszkowski,et al. A Temporal Logic for Multilevel Reasoning about Hardware , 1985, Computer.
[25] André Platzer,et al. Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics , 2010 .
[26] Ernst-Rüdiger Olderog,et al. Proving Safety of Traffic Manoeuvres on Country Roads , 2013, Theories of Programming and Formal Methods.
[27] Andreas Schäfer,et al. Specification and verification of mobile real-time systems , 2006, Ausgezeichnete Informatikdissertationen.
[28] Bruce H. Krogh,et al. Using theorem provers to guarantee closed-loop system properties , 2012, 2012 American Control Conference (ACC).
[29] Maike Schwammberger. Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL , 2018, SCAV@CPSWeek.
[30] André Platzer,et al. Quantified Differential Dynamic Logic for Distributed Hybrid Systems , 2010, CSL.
[31] Rafael Wisniewski,et al. Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers , 2017, Provably Correct Systems.
[32] Andreas Schäfer,et al. A Calculus for Shapes in Time and Space , 2004, ICTAC.
[33] Sven Linker. Proofs for traffic safety - combining diagrams and logic , 2015, Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik.