Alessandro Abate, Ph.D.
Affiliations: | 2007 | University of California, Berkeley, Berkeley, CA, United States |
Google:
"Alessandro Abate"Parents
Sign in to add mentorS. Shankar Sastry | grad student | 2007 | UC Berkeley | |
(Probabilistic reachability for Stochastic Hybrid Systems: Theory, computations, and applications.) |
BETA: Related publications
See more...
Publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
Cattaruzza D, Abate A, Schrammel P, et al. (2021) Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration. Journal of Automated Reasoning. 65: 157-203 |
Abate A, Bessa I, Cordeiro L, et al. (2020) Automated formal synthesis of provably safe digital controllers for continuous plants. Acta Informatica. 57: 223-244 |
Haesaert S, Chen F, Abate A, et al. (2020) Formal Control Synthesis via Simulation Relations and Behavioural Theory for Discrete-time Descriptor Systems Ieee Transactions On Automatic Control. 1-1 |
Laurenti L, Lahijanian M, Abate A, et al. (2020) Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes Ieee Transactions On Automatic Control. 1-1 |
Lesser K, Abate A. (2018) Multiobjective Optimal Control With Safety as a Priority Ieee Transactions On Control Systems and Technology. 26: 1015-1027 |
Zamani M, Mazo M, Khaled M, et al. (2018) Symbolic Abstractions of Networked Control Systems Ieee Transactions On Control of Network Systems. 5: 1622-1634 |
Lun YZ, Wheatley J, D’Innocenzo A, et al. (2018) Approximate Abstractions of Markov Chains with Interval Decision Processes. Ifac-Papersonline. 51: 91-96 |
Haesaert S, Soudjani SEZ, Abate A. (2018) Temporal logic control of general Markov decision processes by approximate policy refinement Ifac-Papersonline. 51: 73-78 |
Cauchi N, Abate A. (2018) Benchmarks for cyber−physical systems: A modular model library for building automation systems Ifac-Papersonline. 51: 49-54 |
Haesaert S, Soudjani SEZ, Abate A. (2017) Verification of general Markov decision processes by approximate similarity relations and policy refinement Siam Journal On Control and Optimization. 55: 2333-2367 |