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)
doi:10.1016/j.nahs.2008.12.005
Quantitative and Probabilistic Modeling in Pathway Logic
Abate, A
Bai, Y
Sznajder, N
Talcott, C
Tiwari, A
922-929
(01 Oct 2007)
doi:10.1109/bibe.2007.4375669
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)
doi:10.1016/j.automatica.2008.03.027
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)
doi:10.1007/978-3-540-71493-4_48
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)
doi:10.1007/978-3-540-71493-4_4
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)
doi:10.1038/sj.ki.5001938
Cell packing influences planar cell polarity signaling
Ma, D
Amonlirdviman, K
Raffard, R
Abate, A
Tomlin, C
Axelrod, J
Proceedings of the National Academy of Sciences of the United States of America
volume 105
issue 48
18800-18805
(02 Dec 2008)
doi:10.1073/pnas.0808868105
Do Weather Conditions Influence the Onset of Renal Colic? A Novel Approach to Analysis
Boscolo-Berto, R
Dal Moro, F
Abate, A
Arandjelovic, G
Tosato, F
Bassi, P
Urologia Internationalis
volume 80
issue 1
19-25
(18 Jan 2008)
doi:10.1159/000111724
20 Mathematical modelling of angiogenesis and vascular adaptation
Alarcon, T
Byrne, H
Maini, P
Panovska, J
Studies in Multidisciplinarity
volume 3
issue C
369-387
(01 Dec 2005)
doi:10.1016/S1571-0831(06)80024-9
Observation of Complex Bound States in the Spin-1/2 Heisenberg <i>XXZ</i> Chain Using Local Quantum Quenches
Ganahl, M
Rabel, E
Essler, F
Evertz, H
PHYSICAL REVIEW LETTERS
volume 108
issue 7
(2012)
doi:10.1103/PhysRevLett.108.077206