Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications
暂无分享,去创建一个
Alberto L. Sangiovanni-Vincentelli | S. Shankar Sastry | Sanjit A. Seshia | Vasumathi Raman | Pierluigi Nuzzo | Dorsa Sadigh | Shromona Ghosh | Alexandre Donzé | S. Sastry | A. Sangiovanni-Vincentelli | S. Seshia | Dorsa Sadigh | Alexandre Donzé | P. Nuzzo | Vasumathi Raman | Shromona Ghosh
[1] Thomas Ferrère,et al. Efficient Robust Monitoring for STL , 2013, CAV.
[2] J. Lofberg,et al. YALMIP : a toolbox for modeling and optimization in MATLAB , 2004, 2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508).
[3] Sanjit A. Seshia,et al. Reactive synthesis from signal temporal logic specifications , 2015, HSCC.
[4] J. Maciejowski,et al. Soft constraints and exact penalty functions in model predictive control , 2000 .
[5] Ufuk Topcu,et al. Counter-strategy guided refinement of GR(1) temporal logic specifications , 2013, 2013 Formal Methods in Computer-Aided Design.
[6] John W. Chinneck,et al. Locating Minimal Infeasible Constraint Sets in Linear Programs , 1991, INFORMS J. Comput..
[7] Alberto Bemporad,et al. Robust model predictive control: A survey , 1998, Robustness in Identification and Control.
[8] Dejan Nickovic,et al. Monitoring Temporal Properties of Continuous Signals , 2004, FORMATS/FTRTFT.
[9] Oded Maler,et al. Robust Satisfaction of Temporal Logic over Real-Valued Signals , 2010, FORMATS.
[10] Marko Bacic,et al. Model predictive control , 2003 .
[11] Dejan Nickovic,et al. On Temporal Logic and Signal Processing , 2012, ATVA.
[12] Johan Efberg,et al. YALMIP : A toolbox for modeling and optimization in MATLAB , 2004 .
[13] Manfred Morari,et al. Model predictive control: Theory and practice - A survey , 1989, Autom..
[14] Alberto L. Sangiovanni-Vincentelli,et al. Model predictive control with signal temporal logic specifications , 2014, 53rd IEEE Conference on Decision and Control.
[15] Alberto L. Sangiovanni-Vincentelli,et al. CalCS: SMT solving for non-linear convex constraints , 2010, Formal Methods in Computer Aided Design.
[16] Davide Bresolin,et al. A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems , 2015, Proceedings of the IEEE.
[17] Sanjit A. Seshia,et al. Mining assumptions for synthesis , 2011, Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011).
[18] Alberto Bemporad,et al. Control of systems integrating logic, dynamics, and constraints , 1999, Autom..
[19] S. Shankar Sastry,et al. Synthesis for Human-in-the-Loop Control Systems , 2014, TACAS.
[20] Viktor Schuppan. Towards a Notion of Unsatisfiable Cores for LTL , 2009, FSEN.
[21] Alberto L. Sangiovanni-Vincentelli,et al. A Contract-Based Methodology for Aircraft Electric Power System Design , 2014, IEEE Access.
[22] Hadas Kress-Gazit,et al. Explaining Impossible High-Level Robot Behaviors , 2013, IEEE Transactions on Robotics.
[23] J. Rawlings,et al. Feasibility issues in linear model predictive control , 1999 .
[24] Dejan Nickovic,et al. Trace Diagnostics Using Temporal Implicants , 2015, ATVA.
[25] Roderick Bloem,et al. Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies , 2011, International Journal on Software Tools for Technology Transfer.