 | 2009 |
|---|
| 12 |       | Wei Zhang,
Alessandro Abate,
Jianghai Hu:
Stabilization of Discrete-Time Switched Linear Systems: A Control-Lyapunov Function Approach.
HSCC 2009: 411-425 |
| 11 |  | Alberto Silletti,
Angelo Cenedese,
Alessandro Abate:
The Emergent Structure of the Drosophila Wing - A Dynamic Model Generator.
VISSAPP (1) 2009: 406-410 |
| 10 | | Alessandro Abate,
Ashish Tiwari,
Shankar Sastry:
Box invariance in biologically-inspired dynamical systems.
Automatica 45(7): 1601-1610 (2009) |
| 2008 |
|---|
| 9 | | Alessandro D'Innocenzo,
Alessandro Abate,
Maria Domenica Di Benedetto:
Approximate abstractions of discrete-time controlled stochastic hybrid systems.
CDC 2008: 221-226 |
| 8 | | Alessandro Abate,
Maria Prandini,
John Lygeros,
Shankar Sastry:
An approximate dynamic programming approach to probabilistic reachability for stochastic hybrid systems.
CDC 2008: 4018-4023 |
| 7 | | 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 | | 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 | | 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 | | Alessandro Abate,
Yu Bai,
Nathalie Sznajder,
Carolyn L. Talcott,
Ashish Tiwari:
Quantitative and Probabilistic Modeling in Pathway Logic.
BIBE 2007: 922-929 |
| 3 | | Alessandro Abate,
Saurabh Amin,
Maria Prandini,
John Lygeros,
Shankar Sastry:
Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems.
HSCC 2007: 4-17 |
| 2 | | 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 | | Saurabh Amin,
Alessandro Abate,
Maria Prandini,
John Lygeros,
Shankar Sastry:
Reachability Analysis for Controlled Discrete Time Stochastic Hybrid Systems.
HSCC 2006: 49-63 |
