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)
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)
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)
Subscribe to