Alessandro Abate

	2012
31		Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate: Probabilistic invariance of mixed deterministic-stochastic dynamical systems. HSCC 2012: 207-216
30		Ilya Tkachev, Alessandro Abate: Regularization of bellman equations for infinite-horizon probabilistic properties. HSCC 2012: 227-236
29		Alessandro D'Innocenzo, Alessandro Abate, Joost-Pieter Katoen: Robust PCTL model checking. HSCC 2012: 275-286
28		Maximilian Balandat, Wei Zhang, Alessandro Abate: On infinite horizon switched LQR problems with state and control constraints. Systems & Control Letters 61(4): 464-471 (2012)
	2011
27		Alessandro Abate, Maria Prandini: Approximate abstractions of stochastic systems: A randomized method. CDC-ECE 2011: 4861-4866
26		Ilya Tkachev, Alessandro Abate: On infinite-horizon probabilistic properties and stochastic bisimulation functions. CDC-ECE 2011: 526-531
25		Maryam Kamgarpour, Jerry Ding, Sean Summers, Alessandro Abate, John Lygeros, Claire Tomlin: Discrete time stochastic hybrid dynamical games: Verification & controller synthesis. CDC-ECE 2011: 6122-6127
24		Alessandro Abate, Joost-Pieter Katoen, Alexandru Mereacre: Quantitative automata model checking of autonomous stochastic hybrid systems. HSCC 2011: 83-92
23		Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate: Adaptive Gridding for Abstraction and Verification of Stochastic Hybrid Systems. QEST 2011: 59-68
22		Alessandro Abate, Alessandro D'Innocenzo, Maria Domenica Di Benedetto: Approximate Abstractions of Stochastic Hybrid Systems. IEEE Trans. Automat. Contr. 56(11): 2688-2694 (2011)
21		Alberto Silletti, Alessandro Abate, Jeffrey D. Axelrod, Claire J. Tomlin: Versatile spectral methods for point set matching. Pattern Recognition Letters 32(5): 731-739 (2011)
	2010
20		Michael P. Vitus, Wei Zhang, Alessandro Abate, Jianghai Hu, Claire J. Tomlin: On sensor scheduling of linear dynamical systems with error bounds. CDC 2010: 1318-1323
19		Maximilian Balandat, Wei Zhang, Alessandro Abate: On the infinite horizon constrained switched LQR problem. CDC 2010: 2131-2136
18		Wei Zhang, Michael P. Vitus, Jianghai Hu, Alessandro Abate, Claire J. Tomlin: On the optimal solutions of the infinite-horizon linear sensor scheduling problem. CDC 2010: 396-401
17		Alessandro Abate: Probabilistic bisimulations of switching and resetting diffusions. CDC 2010: 5918-5923
16		Alessandro Abate, John Lygeros, Shankar S. Sastry: Probabilistic safety and optimal control for survival analysis of Bacillus subtilis. Systems & Control Letters 59(1): 79-85 (2010)
	2009
15		Wei Zhang, Alessandro Abate, Michael P. Vitus, Jianghai Hu: On piecewise quadratic control-Lyapunov functions for switched linear systems. CDC 2009: 1088-1093
14		Alessandro Abate: A contractivity approach for probabilistic bisimulations of diffusion processes. CDC 2009: 2230-2235
13		Wei Zhang, Alessandro Abate, Jianghai Hu: Stabilization of Discrete-Time Switched Linear Systems: A Control-Lyapunov Function Approach. HSCC 2009: 411-425
12		Alberto Silletti, Angelo Cenedese, Alessandro Abate: The Emergent Structure of the Drosophila Wing - A Dynamic Model Generator. VISAPP (1) 2009: 406-410
11		Wei Zhang, Alessandro Abate, Jianghai Hu, Michael P. Vitus: Exponential stabilization of discrete-time switched linear systems. Automatica 45(11): 2526-2536 (2009)
10		Alessandro Abate, Ashish Tiwari, Shankar Sastry: Box invariance in biologically-inspired dynamical systems. Automatica 45(7): 1601-1610 (2009)
	2008
9		Alessandro D'Innocenzo, Alessandro Abate, Maria Domenica Di Benedetto: Approximate abstractions of discrete-time controlled stochastic hybrid systems. CDC 2008: 221-226
8		Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry: An approximate dynamic programming approach to probabilistic reachability for stochastic hybrid systems. CDC 2008: 4018-4023
7		Alessandro Abate, Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Shankar Sastry: Markov Set-Chains as Abstractions of Stochastic Hybrid Systems. HSCC 2008: 1-15
6		Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry: Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps. HSCC 2008: 598-601
5		Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry: Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems. Automatica 44(11): 2724-2734 (2008)
	2007
4		Alessandro Abate, Yu Bai, Nathalie Sznajder, Carolyn L. Talcott, Ashish Tiwari: Quantitative and Probabilistic Modeling in Pathway Logic. BIBE 2007: 922-929
3		Alessandro Abate, Saurabh Amin, Maria Prandini, John Lygeros, Shankar Sastry: Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems. HSCC 2007: 4-17
2		Alessandro Abate, Alessandro D'Innocenzo, Giordano Pola, Maria Domenica Di Benedetto, Shankar Sastry: The Concept of Deadlock and Livelock in Hybrid Control Systems. HSCC 2007: 628-632
	2006
1		Saurabh Amin, Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry: Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems. HSCC 2006: 49-63

Coauthor Index

1	Saurabh Amin	[1] [3]
2	Jeffrey D. Axelrod	[21]
3	Yu Bai	[4]
4	Maximilian Balandat	[19] [28]
5	Maria Domenica Di Benedetto	[2] [7] [9] [22]
6	Angelo Cenedese	[12]
7	Alessandro D'Innocenzo	[2] [7] [9] [22] [29]
8	Jerry Ding	[25]
9	Jianghai Hu	[11] [13] [15] [18] [20]
10	Maryam Kamgarpour	[25]
11	Joost-Pieter Katoen	[24] [29]
12	John Lygeros	[1] [3] [5] [6] [8] [16] [25]
13	Alexandru Mereacre	[24]
14	Giordano Pola	[2]
15	Maria Prandini	[1] [3] [5] [6] [8] [27]
16	Shankar Sastry (Shankar S. Sastry)	[1] [2] [3] [5] [6] [7] [8] [10] [16]
17	Alberto Silletti	[12] [21]
18	Sadegh Esmaeil Zadeh Soudjani	[23] [31]
19	Sean Summers	[25]
20	Nathalie Sznajder	[4]
21	Carolyn L. Talcott	[4]
22	Ashish Tiwari	[4] [10]
23	Ilya Tkachev	[26] [30]
24	Claire J. Tomlin (Claire Tomlin)	[18] [20] [21] [25]
25	Michael P. Vitus	[11] [15] [18] [20]
26	Wei Zhang	[11] [13] [15] [18] [19] [20] [28]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page