| 2009 |
|---|
| 8 | EE | Wei Zhang,
Alessandro Abate,
Jianghai Hu:
Stabilization of Discrete-Time Switched Linear Systems: A Control-Lyapunov Function Approach.
HSCC 2009: 411-425 |
| 2008 |
|---|
| 7 | EE | 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 | EE | 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 | EE | 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 | EE | Alessandro Abate,
Yu Bai,
Nathalie Sznajder,
Carolyn L. Talcott,
Ashish Tiwari:
Quantitative and Probabilistic Modeling in Pathway Logic.
BIBE 2007: 922-929 |
| 3 | EE | Alessandro Abate,
Saurabh Amin,
Maria Prandini,
John Lygeros,
Shankar Sastry:
Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems.
HSCC 2007: 4-17 |
| 2 | EE | 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 | EE | Saurabh Amin,
Alessandro Abate,
Maria Prandini,
John Lygeros,
Shankar Sastry:
Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems.
HSCC 2006: 49-63 |
