Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers
暂无分享,去创建一个
[1] Jim Woodcock,et al. Using Z - specification, refinement, and proof , 1996, Prentice Hall international series in computer science.
[2] Nick Stabile,et al. The Aerodynamic Performance of Platoons: Final Report , 1995 .
[3] C. A. R. Hoare,et al. Unifying theories of programming , 1998, RelMiCS.
[4] Orna Grumberg,et al. Abstractions and Reductions in Model Checking , 2002 .
[5] Anders P. Ravn,et al. An Abstract Model for Proving Safety of Multi-lane Traffic Manoeuvres , 2011, ICFEM.
[6] Carsten Ihlemann,et al. PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid Automata , 2011, Math. Comput. Sci..
[7] Johan van Benthem,et al. Modal Logics of Space , 2007, Handbook of Spatial Logics.
[8] Sven Linker,et al. Proof Theory of a Multi-Lane Spatial Logic , 2015, Log. Methods Comput. Sci..
[9] Bruce H. Krogh,et al. Using theorem provers to guarantee closed-loop system properties , 2012, 2012 American Control Conference (ACC).
[10] Julius Ziegler,et al. Trajectory planning for Bertha — A local, continuous method , 2014, 2014 IEEE Intelligent Vehicles Symposium Proceedings.
[11] Jörg Raisch,et al. Admissibility Criteria for a Hierarchical Design of Hybrid Control Systems1 , 2003, ADHS.
[12] Kai Engelhardt,et al. Data Refinement: Model-Oriented Proof Methods and their Comparison , 1998 .
[13] Jörg Raisch,et al. Discrete Supervisory Control of Hybrid Systems Based on l-Complete Approximations , 2002, Discret. Event Dyn. Syst..
[14] Rafael Wisniewski,et al. Linking spatial and dynamic models for traffic maneuvers , 2015, 2015 54th IEEE Conference on Decision and Control (CDC).
[15] Goran Frehse,et al. Flowpipe approximation and clustering in space-time , 2013, HSCC '13.
[16] C. A. R. Hoare,et al. A Calculus of Durations , 1991, Inf. Process. Lett..
[17] Thomas A. Henzinger,et al. The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
[18] Rajesh Rajamani,et al. Vehicle dynamics and control , 2005 .
[19] T. Gindele,et al. A robust algorithm for handling moving traffic in urban scenarios , 2008, 2008 IEEE Intelligent Vehicles Symposium.
[20] Aaron D. Ames,et al. Dynamic multi-domain bipedal walking with atrias through SLIP based human-inspired control , 2014, HSCC.
[21] Jan H. van Schuppen,et al. Reachability and control synthesis for piecewise-affine hybrid systems on simplices , 2006, IEEE Transactions on Automatic Control.
[22] Antoine Girard,et al. SpaceEx: Scalable Verification of Hybrid Systems , 2011, CAV.
[23] Martin Fränzle,et al. SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems , 2008, ATVA.
[24] Thomas A. Henzinger,et al. HYTECH: a model checker for hybrid systems , 1997, International Journal on Software Tools for Technology Transfer.
[25] Willem-Paul de Roever,et al. Data Refinement by Willem-Paul de Roever , 1998 .
[26] Ben C. Moszkowski,et al. A Temporal Logic for Multilevel Reasoning about Hardware , 1985, Computer.
[27] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[28] Aaron D. Ames,et al. Dynamically stable bipedal robotic walking with NAO via human-inspired hybrid zero dynamics , 2012, HSCC '12.
[29] Nancy A. Lynch,et al. Hybrid I/O Automata Revisited , 2001, HSCC.
[30] Werner Damm,et al. Component based design of hybrid systems: a case study on concurrency and coupling , 2014, HSCC.
[31] Naijun Zhan,et al. Formal Modelling, Analysis and Verification of Hybrid Systems , 2013, ICTAC Training School on Software Engineering.
[32] Eerke Albert Boiten,et al. Refinement in Z and Object-Z: Foundations and Advanced Applications , 2001 .
[33] M. Althoff,et al. Safety Assessment of Autonomous Cars using Verification Techniques , 2007, 2007 American Control Conference.
[34] John Lygeros,et al. Verified hybrid controllers for automated vehicles , 1998, IEEE Trans. Autom. Control..
[35] Pravin Varaiya,et al. Smart cars on smart roads: problems of control , 1991, IEEE Trans. Autom. Control..
[36] Bruce H. Krogh,et al. Compositional heterogeneous abstraction , 2013, HSCC '13.
[37] Thomas A. Henzinger,et al. The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..
[38] Vijay Kumar,et al. A partially observable hybrid system model for bipedal locomotion for adapting to terrain variations , 2013, HSCC '13.
[39] Jing Liu,et al. Spatio-temporal Hybrid Automata for Cyber-Physical Systems , 2013, ICTAC.
[40] Goran Frehse. PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech , 2005, HSCC.
[41] André Platzer,et al. Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified , 2011, FM.
[42] Willem-Paul de Roever,et al. Data Refinement: Theory , 1998 .
[43] André Platzer,et al. Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics , 2010 .
[44] W. Marsden. I and J , 2012 .
[45] Anthony G. Cohn,et al. A Spatial Logic based on Regions and Connection , 1992, KR.
[46] Simin Nadjm-Tehrani,et al. From Physical Modelling to Compositional Models of Hybrid Systems , 1994, FTRTFT.
[47] Jerzy Zabczyk,et al. Mathematical control theory - an introduction , 1992, Systems & Control: Foundations & Applications.
[48] Jozef Hooman,et al. A Compositional Approach to the Design of Hybrid Systems , 1992, Hybrid Systems.
[49] Andreas Schäfer,et al. A Calculus for Shapes in Time and Space , 2004, ICTAC.
[50] Sven Linker. Proofs for traffic safety - combining diagrams and logic , 2015, Berichte aus dem Department für Informatik / Universität Oldenburg / Fachbereich Informatik.
[51] Edward A. Lee,et al. Operational Semantics of Hybrid Systems , 2005, HSCC.
[52] Ernst-Rüdiger Olderog,et al. Proving Safety of Traffic Manoeuvres on Country Roads , 2013, Theories of Programming and Formal Methods.
[53] Eerke A. Boiten,et al. Refinement in Z and Object-Z , 2014, Springer London.
[54] Martin Fränzle,et al. HySAT: An efficient proof engine for bounded model checking of hybrid systems , 2007, Formal Methods Syst. Des..