Box Invariance for biologically-inspired dynamical systems
Abate, A
Tiwari, A
Sastry, S
5162-5167
(01 Dec 2007)
An Approximate Dynamic Programming Approach to Probabilistic Reachability for Stochastic Hybrid Systems
Abate, A
Prandini, M
Lygeros, J
Sastry, S
4018-4023
(01 Dec 2008)
Approximate abstractions of discrete-time controlled stochastic hybrid systems
D'Innocenzo, A
Abate, A
Di Benedetto, M
Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference
221-226
(01 Dec 2008)
Markov Set-Chains as Abstractions of Stochastic Hybrid Systems
Abate, A
D’Innocenzo, A
Di Benedetto, M
Sastry, S
Lecture Notes in Computer Science
volume 4981
1-15
(2008)
Understanding deadlock and livelock behaviors in Hybrid Control Systems
Abate, A
D’Innocenzo, A
Di Benedetto, M
Sastry, S
Nonlinear Analysis Hybrid Systems
volume 3
issue 2
150-162
(May 2009)
Quantitative and Probabilistic Modeling in Pathway Logic
Abate, A
Bai, Y
Sznajder, N
Talcott, C
Tiwari, A
922-929
(01 Oct 2007)
Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
Abate, A
Prandini, M
Lygeros, J
Sastry, S
Automatica
volume 44
issue 11
2724-2734
(01 Nov 2008)
The Concept of Deadlock and Livelock in Hybrid Control Systems
Abate, A
D’Innocenzo, A
Pola, G
Di Benedetto, M
Sastry, S
Lecture Notes in Computer Science
volume 4416
628-632
(2007)
Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
Abate, A
Amin, S
Prandini, M
Lygeros, J
Sastry, S
Lecture Notes in Computer Science
volume 4416
4-17
(2007)
Response to ‘Support vector machines versus artificial neural network: Who is the winner?’
Abate, A
Dal Moro, F
Lanckriet, G
Kidney International
volume 71
issue 1
84-85
(Jan 2007)