Alessandro D'Innocenzo

	2012
19		Alessandro D'Innocenzo, Alessandro Abate, Joost-Pieter Katoen: Robust PCTL model checking. HSCC 2012: 275-286
	2011
18		M. D. Di Benedetto, Stefano Di Gennaro, Alessandro D'Innocenzo: Digital self triggered robust control of nonlinear systems. CDC-ECE 2011: 1674-1679
17		Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Emmanuele Serra: Link failure detection in Multi-Hop Control Networks. CDC-ECE 2011: 5248-5253
16		Maria Domenica Di Benedetto, Alessandro D'Innocenzo, Emmanuele Serra: Fault Tolerant Stabilizability of Multi-Hop Control Networks CoRR abs/1103.4340: (2011)
15		M. D. Di Benedetto, Stefano Di Gennaro, Alessandro D'Innocenzo: Digital Self Triggered Robust Control of Nonlinear Systems CoRR abs/1108.5128: (2011)
14		Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Emmanuele Serra: Link Failure Detection in Multi-hop Control Networks CoRR abs/1108.5316: (2011)
13		Rajeev Alur, Alessandro D'Innocenzo, Karl Henrik Johansson, George J. Pappas, Gera Weiss: Compositional Modeling and Analysis of Multi-Hop Control Networks. IEEE Trans. Automat. Contr. 56(10): 2345-2357 (2011)
12		Alessandro Abate, Alessandro D'Innocenzo, Maria Domenica Di Benedetto: Approximate Abstractions of Stochastic Hybrid Systems. IEEE Trans. Automat. Contr. 56(11): 2688-2694 (2011)
11		Maria Domenica Di Benedetto, Stefano Di Gennaro, Alessandro D'Innocenzo: Verification of Hybrid Automata Diagnosability by Abstraction. IEEE Trans. Automat. Contr. 56(9): 2050-2061 (2011)
	2009
10		Alessandro D'Innocenzo, Gera Weiss, Rajeev Alur, Alf J. Isaksson, Karl Henrik Johansson, George J. Pappas: Scalable scheduling algorithms for wireless networked control systems. CASE 2009: 409-414
9		Gera Weiss, Alessandro D'Innocenzo, Rajeev Alur, Karl Henrik Johansson, George J. Pappas: Robust stability of multi-hop control networks. CDC 2009: 2210-2215
8		Rajeev Alur, Alessandro D'Innocenzo, Karl Henrik Johansson, George J. Pappas, Gera Weiss: Modeling and Analysis of Multi-hop Control Networks. IEEE Real-Time and Embedded Technology and Applications Symposium 2009: 223-232
7		A. Agung Julius, Alessandro D'Innocenzo, Maria Domenica Di Benedetto, George J. Pappas: Approximate equivalence and synchronization of metric transition systems. Systems & Control Letters 58(2): 94-101 (2009)
	2008
6		Maria Domenica Di Benedetto, Stefano Di Gennaro, Alessandro D'Innocenzo: Diagnosability of hybrid automata with measurement uncertainty. CDC 2008: 1042-1047
5		Alessandro D'Innocenzo, Alessandro Abate, Maria Domenica Di Benedetto: Approximate abstractions of discrete-time controlled stochastic hybrid systems. CDC 2008: 221-226
4		Alessandro Abate, Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Shankar Sastry: Markov Set-Chains as Abstractions of Stochastic Hybrid Systems. HSCC 2008: 1-15
	2007
3		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
2		Maria Domenica Di Benedetto, Stefano Di Gennaro, Alessandro D'Innocenzo: Diagnosability Verification for Hybrid Automata. HSCC 2007: 684-687
	2006
1		Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Stefano Di Gennaro: Observability of Hybrid Automata by Abstraction. HSCC 2006: 169-183

Coauthor Index

1	Alessandro Abate	[3] [4] [5] [12] [19]
2	Rajeev Alur	[8] [9] [10] [13]
3	M. D. Di Benedetto	[15] [18]
4	Maria Domenica Di Benedetto	[1] [2] [3] [4] [5] [6] [7] [11] [12] [14] [16] [17]
5	Stefano Di Gennaro	[1] [2] [6] [11] [15] [18]
6	Alf J. Isaksson	[10]
7	Karl Henrik Johansson	[8] [9] [10] [13]
8	A. Agung Julius	[7]
9	Joost-Pieter Katoen	[19]
10	George J. Pappas	[7] [8] [9] [10] [13]
11	Giordano Pola	[3]
12	Shankar Sastry (Shankar S. Sastry)	[3] [4]
13	Emmanuele Serra	[14] [16] [17]
14	Gera Weiss	[8] [9] [10] [13]

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page