Alessandro Abate : Publications

Journal papers

• [1]

  Automated formal synthesis of provably safe digital controllers for continuous plants

  Alessandro Abate‚ Iury Bessa‚ Lucas Cordeiro‚ Cristina David‚ Pascal Kesseli‚ Daniel Kroening and Elizabeth Polgreen

  In Acta Informatica. December, 2019.

  Details about Automated formal synthesis of provably safe digital controllers for continuous plants | BibTeX data for Automated formal synthesis of provably safe digital controllers for continuous plants | DOI (10.1007/s00236-019-00359-1)

• [2]

  Data−efficient Verification of Parametric Markov Chains

  A. Abate E. Polgreen V. Wijesuriya S. Haesaert

  In Quantitative Evaluation of SysTems (QEST). 2016.

  Details about Data−efficient Verification of Parametric Markov Chains | BibTeX data for Data−efficient Verification of Parametric Markov Chains | DOI (10.1007/978-3-319-43425-4_3)

• [3]

  A Mathematical Model to Study the Dynamics of Epithelial Cellular Networks

  A. Abate‚ S. Vincent‚ R. Dobbe‚ A. Silletti‚ N. Master‚ J. Axelrod and C. Tomlin

  In IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB). Vol. 9. Pages 1607−1620. 2012.

  Details about A Mathematical Model to Study the Dynamics of Epithelial Cellular Networks | BibTeX data for A Mathematical Model to Study the Dynamics of Epithelial Cellular Networks | DOI (10.1109/TCBB.2012.126) | Link to A Mathematical Model to Study the Dynamics of Epithelial Cellular Networks

• [4]

  Approximate Model Checking of Stochastic Hybrid Systems

  A. Abate‚ J.P. Katoen‚ J. Lygeros and M. Prandini

  In European Journal of Control. Vol. 16. No. 6. Pages 624−641. 2010.

  Details about Approximate Model Checking of Stochastic Hybrid Systems | BibTeX data for Approximate Model Checking of Stochastic Hybrid Systems | DOI (10.3166/ejc.16.624-641) | Link to Approximate Model Checking of Stochastic Hybrid Systems

• [5]

  Exponential Stabilizaiton of Discrete−time Switched Linear Systems

  W. Zhang‚ A. Abate‚ J. Hu and M.P. Vitus

  In Automatica. Vol. 45. No. 11. Pages 2526−2536. 2009.

  Details about Exponential Stabilizaiton of Discrete−time Switched Linear Systems | BibTeX data for Exponential Stabilizaiton of Discrete−time Switched Linear Systems | DOI (10.1016/j.automatica.2009.07.018) | Link to Exponential Stabilizaiton of Discrete−time Switched Linear Systems

• [6]

  Probabilistic Reachability and Safety for Controlled Discrete Time Stochastic Hybrid Systems

  A. Abate‚ M. Prandini‚ J. Lygeros and S. Sastry

  In Automatica Journal of IFAC. Vol. 44. No. 1. Pages 2724−2734. 2008.

  Details about Probabilistic Reachability and Safety for Controlled Discrete Time Stochastic Hybrid Systems | BibTeX data for Probabilistic Reachability and Safety for Controlled Discrete Time Stochastic Hybrid Systems | DOI (10.1016/j.automatica.2008.03.027) | Link to Probabilistic Reachability and Safety for Controlled Discrete Time Stochastic Hybrid Systems