Alessandro Abate : Publications
-
[1]
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
-
[2]
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
-
[3]
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)
-
[4]
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)
-
[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