Alessandro Abate, Ph.D.
Affiliations: | 2007 | University of California, Berkeley, Berkeley, CA, United States |
Google:
"Alessandro Abate"Parents
Sign in to add mentor| S. 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 |