暂无分享,去创建一个
[1] Calin Belta,et al. A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications , 2008, IEEE Transactions on Automatic Control.
[2] Ji Haibo,et al. Design of the interfaces based on approximate hierarchies , 2014, Proceedings of the 33rd Chinese Control Conference.
[3] Richard M. Murray,et al. Synthesis of correct-by-construction control protocols for hybrid systems using partial state information , 2014, 2014 American Control Conference.
[4] Murat Arcak,et al. TIRA: toolbox for interval reachability analysis , 2019, HSCC.
[5] A. Papachristodoulou,et al. On the construction of Lyapunov functions using the sum of squares decomposition , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..
[6] Christel Baier,et al. Principles of model checking , 2008 .
[7] Paulo Tabuada,et al. Verification and Control of Hybrid Systems - A Symbolic Approach , 2009 .
[8] Mo Chen,et al. Robust Tracking with Model Mismatch for Fast and Safe Planning: an SOS Optimization Approach , 2018, WAFR.
[9] D. Sorensen,et al. A Survey of Model Reduction Methods for Large-Scale Systems , 2000 .
[10] Gunther Reissig,et al. Feedback Refinement Relations for the Synthesis of Symbolic Controllers , 2015, IEEE Transactions on Automatic Control.
[11] Murat Arcak,et al. Continuous Abstraction of Nonlinear Systems using Sum-of-Squares Programming , 2019, 2019 IEEE 58th Conference on Decision and Control (CDC).
[12] Calin Belta,et al. Formal Methods for Discrete-Time Dynamical Systems , 2017 .
[13] Hadas Kress-Gazit,et al. Temporal-Logic-Based Reactive Mission and Motion Planning , 2009, IEEE Transactions on Robotics.
[14] George J. Pappas,et al. Hierarchical control system design using approximate simulation , 2001 .
[15] Paulo Tabuada,et al. First steps toward formal controller synthesis for bipedal robots , 2015, HSCC.
[16] Majid Zamani,et al. Approximate abstractions of control systems with an application to aggregation , 2018, Autom..
[17] Mo Chen,et al. FaSTrack: A modular framework for fast and guaranteed safe motion planning , 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).
[18] Antoine Girard,et al. An approximate abstraction approach to safety control of differentially flat systems , 2013, 2013 European Control Conference (ECC).
[19] P. Parrilo. Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization , 2000 .
[20] Steven M. LaValle,et al. RRT-connect: An efficient approach to single-query path planning , 2000, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).
[21] Maria Domenica Di Benedetto,et al. Decentralized Supervisory Control of Networks of Nonlinear Control Systems , 2016, IEEE Transactions on Automatic Control.
[22] Thor I. Fossen,et al. Handbook of Marine Craft Hydrodynamics and Motion Control: Fossen/Handbook of Marine Craft Hydrodynamics and Motion Control , 2011 .