Formal Abstraction and Synthesis of Parametric Stochastic Processes

[1]  Andrea Maggiolo-Schettini,et al.  Parametric probabilistic transition systems for system design and analysis , 2007, Formal Aspects of Computing.

[2]  . M.RaghunadhAcharya,et al.  An Efficient Polynomial Approximation to the Normal Distribution Function and Its Inverse Function , 2010 .

[3]  Luca Cardelli,et al.  Syntax-Guided Optimal Synthesis for Chemical Reaction Networks , 2017, CAV.

[4]  Luca Cardelli,et al.  Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes , 2020, IEEE Transactions on Automatic Control.

[5]  Lijun Zhang,et al.  Probabilistic reachability for parametric Markov models , 2010, International Journal on Software Tools for Technology Transfer.

[6]  Abolfazl Lavaei,et al.  AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems , 2020, CAV.

[7]  Jan Kretínský,et al.  The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report) , 2019, TACAS.

[8]  Marta Z. Kwiatkowska,et al.  PRISM 4.0: Verification of Probabilistic Real-Time Systems , 2011, CAV.

[9]  Holger Hermanns,et al.  The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification , 2014, TACAS.

[10]  François Fages,et al.  On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology , 2008, CMSB.

[11]  Rajeev Alur,et al.  Timed Automata , 1999, CAV.

[12]  Conrado Daws.  Symbolic and Parametric Model Checking of Discrete-Time Markov Chains , 2004, ICTAC.

[13]  Alessandro Abate,et al.  Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions , 2015, IEEE Transactions on Control Systems Technology.

[14]  Thomas A. Henzinger,et al.  Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.

[15]  Patrick Panciatici,et al.  Aggregation and Control of a Heterogeneous Population of Solar Panels Over the Grid Frequency , 2020 .

[16]  Christel Baier,et al.  Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination , 2020, Inf. Comput..

[17]  Christel Baier,et al.  Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance , 2018, EPEW.

[18]  Alessandro Abate,et al.  StocHy: automated verification and synthesis of stochastic processes , 2019, ArXiv.

[19]  Joost-Pieter Katoen,et al.  Approximate Model Checking of Stochastic Hybrid Systems , 2010, Eur. J. Control.