Specification Mining and Robust Design under Uncertainty
暂无分享,去创建一个
[1] Oded Maler. Learning Monotone Partitions of Partially-Ordered Domains (Work in Progress) , 2017 .
[2] George J. Pappas,et al. Robustness of temporal logic specifications for continuous-time signals , 2009, Theor. Comput. Sci..
[3] Calin Belta,et al. Q-Learning for robust satisfaction of signal temporal logic specifications , 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).
[4] Calin Belta,et al. Temporal logic inference for classification and prediction from data , 2014, HSCC.
[5] Russell C. Eberhart,et al. Parameter Selection in Particle Swarm Optimization , 1998, Evolutionary Programming.
[6] Yuankun Xue,et al. Constructing Compact Causal Mathematical Models for Complex Dynamics , 2017, 2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems (ICCPS).
[7] Axel Legay,et al. Statistical Model Checking: An Overview , 2010, RV.
[8] John Lygeros,et al. Discrete time stochastic hybrid dynamical games: Verification & controller synthesis , 2011, IEEE Conference on Decision and Control and European Control Conference.
[9] Jyotirmoy V. Deshmukh,et al. Stochastic Temporal Logic Abstractions: Challenges and Opportunities , 2018, FORMATS.
[10] George J. Pappas,et al. Approximations of Stochastic Hybrid Systems , 2009, IEEE Transactions on Automatic Control.
[11] Thomas Ferrère,et al. Efficient Robust Monitoring for STL , 2013, CAV.
[12] Dejan Nickovic,et al. Monitoring Temporal Properties of Continuous Signals , 2004, FORMATS/FTRTFT.
[13] P. J. Green,et al. Density Estimation for Statistics and Data Analysis , 1987 .
[14] Alberto L. Sangiovanni-Vincentelli,et al. Stochastic contracts for cyber-physical system design under probabilistic requirements , 2017, MEMOCODE.
[15] Georgios E. Fainekos,et al. Mining parametric temporal logic properties in model-based design for cyber-physical systems , 2015, International Journal on Software Tools for Technology Transfer.
[16] Dejan Nickovic,et al. Parametric Identification of Temporal Properties , 2011, RV.
[17] Matthias Althoff,et al. Model-Based Probabilistic Collision Detection in Autonomous Driving , 2009, IEEE Transactions on Intelligent Transportation Systems.
[18] Bengt Jonsson,et al. A logic for reasoning about time and reliability , 1990, Formal Aspects of Computing.
[19] John Lygeros,et al. A stochastic games framework for verification and control of discrete time stochastic hybrid systems , 2013, Autom..
[20] L. M. Bujorianu,et al. Approximate Abstractions of Stochastic Hybrid Systems , 2008 .
[21] Thomas Ferrère,et al. Efficient Parametric Identification for STL , 2018, HSCC.
[22] Sanjit A. Seshia,et al. Mining Requirements From Closed-Loop Control Models , 2015, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[23] P. A. Blight. The Analysis of Time Series: An Introduction , 1991 .
[24] Kenneth R. Butts,et al. Powertrain control verification benchmark , 2014, HSCC.
[25] Stephen P. Boyd,et al. Convex Optimization , 2004, Algorithms and Theory of Computation Handbook.
[26] François Fages,et al. On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology , 2008, CMSB.
[27] Hai Lin,et al. Learning based supervisor synthesis of POMDP for PCTL specifications , 2015, 2015 54th IEEE Conference on Decision and Control (CDC).
[28] Ezio Bartocci,et al. On the Robustness of Temporal Properties for Stochastic Models , 2013, HSB.
[29] Ashish Kapoor,et al. Safe Control under Uncertainty with Probabilistic Signal Temporal Logic , 2016, Robotics: Science and Systems.
[30] Krishnendu Chatterjee,et al. Verification of Markov Decision Processes Using Learning Algorithms , 2014, ATVA.
[31] Paul Bogdan,et al. Reducing risk of closed loop control of blood glucose in artificial pancreas using fractional calculus , 2014, 2014 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society.
[32] D. Del Vecchio,et al. Development of a Scaled Vehicle With Longitudinal Dynamics of an HMMWV for an ITS Testbed , 2008, IEEE/ASME Transactions on Mechatronics.
[33] Matthias Woehrle,et al. Industrial Examples of Formal Specifications for Test Case Generation , 2015, ARCH@CPSWeek.
[34] Christel Baier,et al. Controller Synthesis for Probabilistic Systems , 2004, IFIP TCS.
[35] Oded Maler,et al. Approximating the Pareto Front of Multi-criteria Optimization Problems , 2010, TACAS.
[36] Sanjit A. Seshia,et al. ST-Lib: A Library for Specifying and Classifying Model Behaviors , 2016, SAE Technical Paper Series.
[37] Ufuk Topcu,et al. Computational methods for stochastic control with metric interval temporal logic specifications , 2015, 2015 54th IEEE Conference on Decision and Control (CDC).
[38] Gang Chen,et al. Active learning based requirement mining for cyber-physical systems , 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).
[39] Edmund M. Clarke,et al. Statistical Model Checking for Cyber-Physical Systems , 2011, ATVA.
[40] Sanjit A. Seshia,et al. Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic , 2017, Journal of Automated Reasoning.
[41] C. Belta,et al. Control of Markov decision processes from PCTL specifications , 2011, Proceedings of the 2011 American Control Conference.
[42] Calin Belta,et al. Anomaly detection in cyber-physical systems: A formal methods approach , 2014, 53rd IEEE Conference on Decision and Control.
[43] Eugene Asarin,et al. Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy , 1995, J. Comput. Syst. Sci..
[44] Houssam Abbas,et al. Benchmarks for Temporal Logic Requirements for Automotive Systems , 2014, ARCH@CPSWeek.