Alessandro Abate  Selected Publications
Journal Articles
A. Abate,
“Approximation Metrics based on Probabilistic Bisimulations for General StateSpace Markov Processes: a Survey,”
Electronic Notes in Theoretical Computer Sciences,
2012.
In Print.
[BibTeX]
[URL]
@article{A12,
author = {A. Abate},
title = {Approximation Metrics based on Probabilistic Bisimulations for General StateSpace Markov Processes: a Survey},
journal = {Electronic Notes in Theoretical Computer Sciences},
year = {2012},
note = {In Print},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateENTCS12.pdf}
}
D. Adzkiya, B. De Schutter and A. Abate,
“Finite Abstractions of MaxPlusLinear Systems,”
IEEE Transactions on Automatic Control,
2012.
Under Review.
[BibTeX]
@article{AdSA12,
author = {D. Adzkiya and B. De Schutter and A. Abate},
title = {Finite Abstractions of MaxPlusLinear Systems},
journal = {IEEE Transactions on Automatic Control},
year = {2012},
note = {Under Review}
}
J. Ding, M. Kamgarpour, S. Summers, A. Abate, J. Lygeros and C. Tomlin,
“Discrete time stochastic hybrid dynamical games: reachability and safety,”
Automatica,
2012.
Accepted.
[BibTeX]
[URL]
@article{DKSALT12,
author = {J. Ding and M. Kamgarpour and S. Summers and A. Abate and J. Lygeros and C.J. Tomlin},
title = {Discrete time stochastic hybrid dynamical games: reachability and safety},
journal = {Automatica},
year = {2012},
note = {Accepted},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/DingKamgarpurSummersAbateLygerosTomlinAUT12.pdf}
}
S. Esmaeil Zadeh Soudjani and A. Abate,
“Adaptive and Sequential Gridding for Abstraction and Verification of Stochastic Processes,”
SIAM Journal on Applied Dynamical Systems,
2012.
Under Review.
[BibTeX]
@article{EZSA12,
author = {S. Esmaeil Zadeh Soudjani and A. Abate},
title = {Adaptive and Sequential Gridding for Abstraction and Verification of Stochastic Processes},
journal = {SIAM Journal on Applied Dynamical Systems},
year = {2012},
note = {Under Review}
}
K. Stankova, A. Abate and M. Sabelis,
“Irreversible prey diapause as an optimal strategy of a physiologically extended LotkaVolterra model,”
Journal of Mathematical Biology,
2012.
In Print.
[BibTeX]
[URL]
@article{SAS12,
author = {K. Stankova and A. Abate and M.W. Sabelis},
title = {Irreversible prey diapause as an optimal strategy of a physiologically extended LotkaVolterra model},
journal = {Journal of Mathematical Biology},
year = {2012},
note = {In Print},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/StankovaAbateSabelisJMB12.pdf}
}
A. Abate, R. Dobbe, S. Vincent, A. Silletti, N. Master, J. Axelrod and C. Tomlin,
“A Mathematical Model to study the Dynamics of Epithelial Cellular Networks,”
IEEE/ACM Transactions on Computational Biology and Bioinformatics,
vol. 9,
no. 6,
pp. 16071620,
Nov
2012.
[BibTeX]
[URL]
@article{A.AbateandR.DobbeandS.VincentandA.SillettiandN.MasterandJ.AxelrodandC.J.Tomlin2012,
author = {A. Abate and R. Dobbe and S. Vincent and A. Silletti and N. Master and J. Axelrod and C.J. Tomlin},
title = {A Mathematical Model to study the Dynamics of Epithelial Cellular Networks},
journal = {IEEE/ACM Transactions on Computational Biology and Bioinformatics},
year = {2012},
volume = {9},
number = {6},
pages = {16071620},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateetalTCBB12.pdf}
}
M. Vitus, W. Zhang, A. Abate, J. Hu and C. Tomlin,
“On efficient sensor scheduling for linear dynamical systems,”
Automatica,
vol. 48,
no. 8,
pp. 24822493,
August
2012.
doi:10.1016/j.automatica.2012.06.092.
[BibTeX]
[URL]
@article{VZAHT12,
author = {M. Vitus and W. Zhang and A. Abate and J. Hu and C.J. Tomlin},
title = {On efficient sensor scheduling for linear dynamical systems},
journal = {Automatica},
year = {2012},
volume = {48},
number = {8},
pages = {24822493},
note = {doi:10.1016/j.automatica.2012.06.092},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/VitusZhangAbateHuTomlinAUT12.pdf}
}
A. Abate, R. Hillen and S. Wahl,
“Piecewise Affine Approximation of fluxes and enzyme kinetics from invivo $^13$C labeling experiments,”
International Journal of Robust and Nonlinear Control,
vol. 22,
no. 10,
pp. 11201139,
July
2012.
Special Issue on System Identification for Biological Systems  doi:10.1002/rnc.2798.
[BibTeX]
[URL]
@article{HAW12,
author = {A. Abate and R.C. Hillen and S.A. Wahl},
title = {Piecewise Affine Approximation of fluxes and enzyme kinetics from invivo $^13$C labeling experiments},
journal = {International Journal of Robust and Nonlinear Control},
year = {2012},
volume = {22},
number = {10},
pages = {11201139},
note = {Special Issue on System Identification for Biological Systems  doi:10.1002/rnc.2798},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateHillenWahlRNC12.pdf}
}
W. Zhang, J. Hu and A. Abate,
“Infinite Horizon Switched LQR Problems in Discrete Time: A Suboptimal Algorithm With Performance Analysis,”
IEEE Transactions on Automatic Control,
vol. 57,
no. 7,
pp. 18251821,
July
2012.
[BibTeX]
[URL]
@article{ZHA12,
author = {W. Zhang and J. Hu and A. Abate},
title = {Infinite Horizon Switched LQR Problems in Discrete Time: A Suboptimal Algorithm With Performance Analysis},
journal = {IEEE Transactions on Automatic Control},
year = {2012},
volume = {57},
number = {7},
pages = {18251821},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/ZhangHuAbateTAC12.pdf}
}
E. Brinkman, K. Schipper, N. Bongaerts, M. Voges, A. Abate and A. Wahl,
“A toolkit to enable hydrocarbon conversion in aqueous environments,”
Journal of Visualized Experiments,
vol. e4182,
pp. 113,
June
2012.
doi:10.3791/4182.
[BibTeX]
[URL]
@article{BSBVAW12,
author = {E.K. Brinkman and K. Schipper and N. Bongaerts and M.J. Voges and A. Abate and A. Wahl},
title = {A toolkit to enable hydrocarbon conversion in aqueous environments},
journal = {Journal of Visualized Experiments},
year = {2012},
volume = {e4182},
pages = {113},
note = {doi:10.3791/4182},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/Brinkman_etalJoVE12.pdf}
}
M. Balandat, W. Zhang and A. Abate,
“Infinite Horizon Constrained Switched LQR Problem,”
Systems and Control Letters,
vol. 61,
no. 4,
pp. 464471,
April
2012.
doi:10.1016/j.sysconle.2012.01.011.
[BibTeX]
[URL]
@article{BZA12,
author = {M. Balandat and W. Zhang and A. Abate},
title = {Infinite Horizon Constrained Switched LQR Problem},
journal = {Systems and Control Letters},
year = {2012},
volume = {61},
number = {4},
pages = {464471},
note = {doi:10.1016/j.sysconle.2012.01.011},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/BalandatZhangAbateSCL12.pdf}
}
A. Abate, M. Chen, Y. Wang, A. Zakhor and S. Sastry,
“Design and Analysis of a new Scheme for Flow Control over Wireless Networks,”
International Journal of Robust and Nonlinear Control,
2011.
doi:10.1002/rnc.1825.
[BibTeX]
[URL]
@article{ACZS11,
author = {A. Abate and M. Chen and Y. Wang and A. Zakhor and S. Sastry},
title = {Design and Analysis of a new Scheme for Flow Control over Wireless Networks},
journal = {International Journal of Robust and Nonlinear Control},
year = {2011},
note = {doi:10.1002/rnc.1825},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateChenWangZakorSastryRNC11.pdf}
}
A. Abate, A. D'Innocenzo and M. Di Benedetto,
“Approximate Abstractions of Stochastic Hybrid systems,”
IEEE Transactions on Automatic Control,
vol. 56,
no. 11,
pp. 26882694,
2011.
doi:10.1109/TAC.2011.2160595.
[BibTeX]
[URL]
@article{AIB11,
author = {A. Abate and A. D'Innocenzo and M.D. Di Benedetto},
title = {Approximate Abstractions of Stochastic Hybrid systems},
journal = {IEEE Transactions on Automatic Control},
year = {2011},
volume = {56},
number = {11},
pages = {26882694},
note = {doi:10.1109/TAC.2011.2160595},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateInnocenzoDiBenedettoTAC11.pdf}
}
A. Silletti, A. Abate, J. Axelrod and C. Tomlin,
“Versatile Spectral Methods for Point Set Matching,”
Pattern Recognition Letters,
vol. 32,
pp. 731739,
2011.
doi:10.1016/j.patrec.2010.11.022.
[BibTeX]
[URL]
@article{SAAT11,
author = {A. Silletti and A. Abate and J. Axelrod and C. Tomlin},
title = {Versatile Spectral Methods for Point Set Matching},
journal = {Pattern Recognition Letters},
year = {2011},
volume = {32},
pages = {731739},
note = {doi:10.1016/j.patrec.2010.11.022},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/SillettiAbateAxelrodTomlinPRL11.pdf}
}
A. Abate, J. Katoen, J. Lygeros and M. Prandini,
“Approximate Model Checking of Stochastic Hybrid Systems,”
European Journal of Control,
vol. 16,
no. 6,
pp. 624641,
2010.
doi:10.3166/EJC.16.624641.
[BibTeX]
[URL]
@article{APKL10,
author = {A. Abate and J.P. Katoen and J. Lygeros and M. Prandini},
title = {Approximate Model Checking of Stochastic Hybrid Systems},
journal = {European Journal of Control},
year = {2010},
volume = {16},
number = {6},
pages = {624641},
note = {doi:10.3166/EJC.16.624641},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateKatoenLygerosPrandiniEJC10.pdf}
}
A. Abate, J. Lygeros and S. Sastry,
“Probabilistic Safety and Optimal Control for Survival Analysis of Bacillus Subtilis,”
Systems and Control Letters,
vol. 59,
no. 1,
pp. 7985,
January
2010.
doi:10.1016/j.sysconle.2009.12.003.
[BibTeX]
[URL]
@article{ALS09,
author = {A. Abate and J. Lygeros and S. Sastry},
title = {Probabilistic Safety and Optimal Control for Survival Analysis of Bacillus Subtilis},
journal = {Systems and Control Letters},
year = {2010},
volume = {59},
number = {1},
pages = {7985},
note = {doi:10.1016/j.sysconle.2009.12.003},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateLygerosSastrySCL10.pdf}
}
W. Zhang, J. Hu and A. Abate,
“On the Value Function of the DiscreteTime Switched LQR Problem,”
IEEE Transactions on Automatic Control,
vol. 54,
no. 11,
pp. 26692674,
November
2009.
doi:10.1109/TAC.2009.2031574.
[BibTeX]
[URL]
@article{ZAH08,
author = {W. Zhang and J. Hu and A. Abate},
title = {On the Value Function of the DiscreteTime Switched LQR Problem},
journal = {IEEE Transactions on Automatic Control},
year = {2009},
volume = {54},
number = {11},
pages = {26692674},
note = {doi:10.1109/TAC.2009.2031574},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/ZhangHuAbateTAC09.pdf}
}
W. Zhang, A. Abate, J. Hu and M. Vitus,
“Exponential Stabilization of DiscreteTime Switched Linear Systems,”
Automatica,
vol. 45,
no. 11,
pp. 25262536,
November
2009.
doi:10.1016/j.automatica.2009.07.018.
[BibTeX]
[URL]
@article{ZAHV09,
author = {W. Zhang and A. Abate and J. Hu and M. Vitus},
title = {Exponential Stabilization of DiscreteTime Switched Linear Systems},
journal = {Automatica},
year = {2009},
volume = {45},
number = {11},
pages = {25262536},
note = {doi:10.1016/j.automatica.2009.07.018},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/ZhangAbateHuVitusAUT09.pdf}
}
A. Abate, A. Tiwari and S. Sastry,
“Box Invariance in biologicallyinspired dynamical systems,”
Automatica,
vol. 45,
no. 7,
pp. 16011610,
July
2009.
doi:10.1016/j.automatica.2009.02.028.
[BibTeX]
[URL]
@article{ATS09,
author = {A. Abate and A. Tiwari and S. Sastry},
title = {Box Invariance in biologicallyinspired dynamical systems},
journal = {Automatica},
year = {2009},
volume = {45},
number = {7},
pages = {16011610},
note = {doi:10.1016/j.automatica.2009.02.028},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateTiwariSastryAUT09.pdf}
}
A. Abate, A. D'Innocenzo, M. Di Benedetto and S. Sastry,
“Understanding Deadlock and Livelock Behaviors in Hybrid Control Systems,”
Nonlinear Analysis: Hybrid Systems,
vol. 3,
no. 2,
pp. 150162,
May
2009.
doi:10.1016/j.nahs.2008.12.005.
[BibTeX]
[URL]
@article{ADIDBS08,
author = {A. Abate and A. D'Innocenzo and M.D. Di Benedetto and S. Sastry},
title = {Understanding Deadlock and Livelock Behaviors in Hybrid Control Systems},
journal = {Nonlinear Analysis: Hybrid Systems},
publisher = {Elsevier},
year = {2009},
volume = {3},
number = {2},
pages = {150162},
note = {doi:10.1016/j.nahs.2008.12.005},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateDInnocenzoDiBenedettoSastryNAHS09.pdf}
}
D. Ma, K. Amonlirdviman, R. Raffard, A. Abate, C. Tomlin and J. Axelrod,
“Cell packing influences planar cell polarity signaling,”
The Proceedings of the National Academy of Sciences,
vol. 105,
no. 48,
pp. 1880018805,
December
2008.
doi:10.1073/pnas.0808868105.
[BibTeX]
[URL]
@article{MARATA08,
author = {D. Ma and K. Amonlirdviman and R. Raffard and A. Abate and C.J. Tomlin and J.D. Axelrod},
title = {Cell packing influences planar cell polarity signaling},
journal = {The Proceedings of the National Academy of Sciences},
year = {2008},
volume = {105},
number = {48},
pages = {1880018805},
note = {doi:10.1073/pnas.0808868105},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/Ma_etalPNAS09.pdf}
}
A. Abate, M. Prandini, J. Lygeros and S. Sastry,
“Probabilistic Reachability and Safety for Controlled Discrete Time Stochastic Hybrid Systems,”
Automatica,
vol. 44,
no. 11,
pp. 27242734,
Nov
2008.
doi:10.1016/j.automatica.2008.03.027.
[BibTeX]
[URL]
@article{APLS08b,
author = {A. Abate and M. Prandini and J. Lygeros and S. Sastry},
title = {Probabilistic Reachability and Safety for Controlled Discrete Time Stochastic Hybrid Systems},
journal = {Automatica},
year = {2008},
volume = {44},
number = {11},
pages = {27242734},
note = {doi:10.1016/j.automatica.2008.03.027},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbatePrandiniLygerosSastryAUT08.pdf}
}
R. BoscoloBerto, F. Dal Moro, A. Abate, G. Arandjelovic, F. Tosato and P. Bassi,
“Do Weather Conditions Influence the Onset of Renal Colic? A Novel Approach to Analysis,”
Urol. Int.,
vol. 80,
no. 1,
pp. 1925,
Jan
2008.
doi:10.1159/000111724.
[BibTeX]
[URL]
@article{BBDMAATP08,
author = {R. BoscoloBerto and F. Dal Moro and A. Abate and G. Arandjelovic and F. Tosato and P. Bassi},
title = {Do Weather Conditions Influence the Onset of Renal Colic? A Novel Approach to Analysis},
journal = {Urol. Int.},
year = {2008},
volume = {80},
number = {1},
pages = {1925},
note = {doi:10.1159/000111724},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/Boscolo_etalUI08.pdf}
}
A. Abate, F. Dal Moro, G. Lanckriet, G. Arandjelovic, P. Gasparella, P. Bassi, M. Mancini and F. Pagano,
“A Novel Approach in Evaluation of Spontaneous Stone Passage: Use of Statistical Learning Methods,”
Kidney International,
vol. 69,
no. 1,
pp. 157160,
January
2006.
doi:10.1038/sj.ki.5000010.
[BibTeX]
[URL]
@article{ADMLAGBP06,
author = {A. Abate and F. Dal Moro and G. Lanckriet and G. Arandjelovic and P. Gasparella and P. Bassi and M. Mancini and F. Pagano},
title = {A Novel Approach in Evaluation of Spontaneous Stone Passage: Use of Statistical Learning Methods},
journal = {Kidney International},
year = {2006},
volume = {69},
number = {1},
pages = {157160},
note = {doi:10.1038/sj.ki.5000010},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/DalMoroAbateLanckrietEtAlKI06.pdf}
}
Book chapters, Springer's LNCS
S. Esmaeil Zadeh Soudjani and A. Abate,
“Higher Order Approximations for Verification of Stochastic Hybrid Systems,”
pp. 416434,
2012.
[BibTeX]
[URL]
@incollection{EZSA12,
author = {S. Esmaeil Zadeh Soudjani and A. Abate},
title = {Higher Order Approximations for Verification of Stochastic Hybrid Systems},
booktitle = {Automated Technology for Verification and Analysis},
publisher = {Springer Verlag},
year = {2012},
pages = {416434},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/SoudjaniAbateATVA12.pdf}
}
W. Zhang, A. Abate and J. Hu,
“Stabilization of DiscreteTime Switched Linear Systems: A ControlLyapunov Function Approach,”
pp. 411425,
2009.
[BibTeX]
[URL]
@incollection{ZAH09,
author = {Wei Zhang and Alessandro Abate and Jianghai Hu},
title = {Stabilization of DiscreteTime Switched Linear Systems: A ControlLyapunov Function Approach},
booktitle = {Hybrid Systems: Computation and Control},
publisher = {Springer Verlag},
year = {2009},
pages = {411425},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/ZhangAbateHuHSCC09.pdf}
}
A. Abate, A. D'Innocenzo, M. Di Benedetto and S. Sastry,
“Markov SetChains as Abstractions of Stochastic Hybrid Systems,”
pp. 115,
2008.
[BibTeX]
[URL]
@incollection{AIBS08,
author = {A. Abate and A. D'Innocenzo and M.D. Di Benedetto and S. Sastry},
title = {Markov SetChains as Abstractions of Stochastic Hybrid Systems},
booktitle = {Hybrid Systems: Computation and Control},
publisher = {Springer Verlag},
year = {2008},
pages = {115},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateDInnocenzoDiBenedettoSastryHSCC08.pdf}
}
A. Abate, M. Prandini, J. Lygeros and S. Sastry,
“Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps,”
pp. 598601,
2008.
[BibTeX]
[URL]
@incollection{APLS08,
author = {A. Abate and M. Prandini and J. Lygeros and S. Sastry},
title = {Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps},
booktitle = {Hybrid Systems: Computation and Control},
publisher = {Springer Verlag},
year = {2008},
pages = {598601},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbatePrandiniLygerosSastryHSCC08.pdf}
}
A. Abate, S. Amin, M. Prandini, J. Lygeros and S. Sastry,
“Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems,”
pp. 417,
2007.
[BibTeX]
[URL]
@incollection{AAPLS07,
author = {A. Abate and S. Amin and M. Prandini and J. Lygeros and S. Sastry},
title = {Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems},
booktitle = {Hybrid Systems: Computation and Control},
publisher = {Springer Verlag},
year = {2007},
pages = {417},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateAminPrandiniLygerosSastryHSCC07.pdf}
}
A. Abate, A. D'Innocenzo, G. Pola, M. D. Benedetto and S. Sastry,
“The Concept of Deadlock and Livelock in Hybrid Control Systems,”
pp. 628632,
April
2007.
[BibTeX]
[URL]
@incollection{ADPDS07,
author = {A. Abate and A. D'Innocenzo and G. Pola and M.D. Di Benedetto and S. Sastry},
title = {The Concept of Deadlock and Livelock in Hybrid Control Systems},
booktitle = {Hybrid Systems: Computation and Control},
publisher = {Springer Verlag},
year = {2007},
pages = {628632},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateDInnocenzoPolaDiBenedettoSastryHSCC07.pdf}
}
S. Amin, A. Abate, M. Prandini, J. Lygeros and S. Sastry,
“Reachability analysis for controlled discrete time stochastic hybrid systems,”
pp. 4963,
2006.
[BibTeX]
[URL]
@incollection{AAPLS06,
author = {S. Amin and A. Abate and M. Prandini and J. Lygeros and S. Sastry},
title = {Reachability analysis for controlled discrete time stochastic hybrid systems},
booktitle = {Hybrid Systems: Computation and Control},
publisher = {Springer Verlag},
year = {2006},
pages = {4963},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/AminAbatePrandiniLygerosSastryHSCC06.pdf}
}
Conference Proceedings
I. Tkachev and A. Abate,
“Stability and attractivity of absorbing sets for discretetime Markov processes,”
in Proceedings of the 51st IEEE Conference on Decision and Control,
December
2012.
[BibTeX]
[URL]
@inproceedings{TA12b,
author = {I. Tkachev and A. Abate},
title = {Stability and attractivity of absorbing sets for discretetime Markov processes},
booktitle = {Proceedings of the 51st IEEE Conference on Decision and Control},
year = {2012},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/TkachevAbateCDC12.pdf}
}
M. Strelec, K. Macek and A. Abate,
“Modeling and Simulation of a Microgrid as a Stochastic Hybrid System,”
in Proceedings of the IEEE PES Innovative Smart Grid Technologies (ISGT 12),
September
2012.
[BibTeX]
[URL]
@inproceedings{SMA12,
author = {M. Strelec and K. Macek and A. Abate},
title = {Modeling and Simulation of a Microgrid as a Stochastic Hybrid System},
booktitle = {Proceedings of the IEEE PES Innovative Smart Grid Technologies (ISGT 12)},
year = {2012},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/StrelecMacekAbateISTG12.pdf}
}
D. Adzkiya, B. De Schutter and A. Abate,
“Abstraction and Verification of Autonomous MaxPlusLinear Systems,”
in Proceedings of the 31st American Control Conference,
pp. 721726,
June
2012.
[BibTeX]
[URL]
@inproceedings{AdSA12,
author = {D. Adzkiya and B. De Schutter and A. Abate},
title = {Abstraction and Verification of Autonomous MaxPlusLinear Systems},
booktitle = {Proceedings of the 31st American Control Conference},
year = {2012},
pages = {721726},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/AdzkiyaDeSchutterAbateACC12.pdf}
}
A. D'Innocenzo, A. Abate and J.P.. Katoen,
“Robust PCTL Model Checking,”
in Proceedings of the 15th ACM international conference on Hybrid Systems: computation and control,
pp. 275285,
April
2012.
[BibTeX]
[URL]
@inproceedings{AKM11,
author = {A. D'Innocenzo and A. Abate and J.P. Katoen},
title = {Robust PCTL Model Checking},
booktitle = {Proceedings of the 15th ACM international conference on Hybrid Systems: computation and control},
year = {2012},
pages = {275285},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/DInnocenzoAbateKatoenHSCC12.pdf}
}
S. Esmaeil Zadeh Soudjani and A. Abate,
“Probabilistic Invariance of Mixed DeterministicStochastic Dynamical Systems,”
in Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control,
pp. 207216,
April
2012.
[BibTeX]
[URL]
@inproceedings{EZSA12,
author = {S. Esmaeil Zadeh Soudjani and A. Abate},
title = {Probabilistic Invariance of Mixed DeterministicStochastic Dynamical Systems},
booktitle = {Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control},
year = {2012},
pages = {207216},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/SoudjaniAbateHSCC12.pdf}
}
I. Tkachev and A. Abate,
“Regularization of Bellman equations for infinitehorizon probabilistic properties,”
in Proceedings of the 15th ACM international conference on Hybrid Systems: computation and control,
pp. 227236,
April
2012.
[BibTeX]
[URL]
@inproceedings{TA12,
author = {I. Tkachev and A. Abate},
title = {Regularization of Bellman equations for infinitehorizon probabilistic properties},
booktitle = {Proceedings of the 15th ACM international conference on Hybrid Systems: computation and control},
year = {2012},
pages = {227236},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/TkachevAbateHSCC12.pdf}
}
A. Abate and M. Prandini,
“Approximate abstractions of stochastic systems: a randomized method,”
in Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference,
December
2011.
[BibTeX]
[URL]
@inproceedings{ap11,
author = {A. Abate and M. Prandini},
title = {Approximate abstractions of stochastic systems: a randomized method},
booktitle = {Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference},
year = {2011},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbatePrandiniCDC11.pdf}
}
M. Kamgarpour, J. Ding, S. Summers, A. Abate, J. Lygeros and C. Tomlin,
“Discrete Time Stochastic Hybrid Dynamic Games: Verification and Controller Synthesys,”
in Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference,
December
2011.
[BibTeX]
[URL]
@inproceedings{dksalt11,
author = {M. Kamgarpour and J. Ding and S. Summers and A. Abate and J. Lygeros and C.J. Tomlin},
title = {Discrete Time Stochastic Hybrid Dynamic Games: Verification and Controller Synthesys},
booktitle = {Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference},
year = {2011},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/Kamgarpour_atalCDC11.pdf}
}
I. Tkachev and A. Abate,
“On infinitehorizon probabilistic properties and stochastic bisimulation functions,”
in Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference,
December
2011.
[BibTeX]
[URL]
@inproceedings{ta11,
author = {I. Tkachev and A. Abate},
title = {On infinitehorizon probabilistic properties and stochastic bisimulation functions},
booktitle = {Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference},
year = {2011},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/TkachevAbateCDC11.pdf}
}
S. Esmaeil Zadeh Soudjani and A. Abate,
“Adaptive Gridding for Abstraction and Verification of Stochastic Hybrid Systems,”
in Proceedings of the 8th International Conference on Quantitative Evaluation of SysTems,
pp. 5969,
September
2011.
[BibTeX]
[URL]
@inproceedings{SA11,
author = {S. Esmaeil Zadeh Soudjani and A. Abate},
title = {Adaptive Gridding for Abstraction and Verification of Stochastic Hybrid Systems},
booktitle = {Proceedings of the 8th International Conference on Quantitative Evaluation of SysTems},
year = {2011},
pages = {5969},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/SoudjaniAbateQEST11.pdf}
}
A. Abate, J. Katoen, J. Lygeros and M. Prandini,
“A TwoStep Scheme for Approximate Model Checking of Stochastic Hybrid Systems,”
in Proceedings of the 18th IFAC World Congress,
August
2011.
[BibTeX]
[URL]
@inproceedings{APKL11,
author = {A. Abate and J.P. Katoen and J. Lygeros and M. Prandini},
title = {A TwoStep Scheme for Approximate Model Checking of Stochastic Hybrid Systems},
booktitle = {Proceedings of the 18th IFAC World Congress},
year = {2011},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateKatoenLygerosPrandiniIFAC11.pdf}
}
A. Abate, J.P.. Katoen and A. Mereacre,
“Quantitative Automata Model Checking of Autonomous Stochastic Hybrid Systems,”
in Proceedings of the 14th ACM international conference on Hybrid Systems: computation and control,
pp. 8392,
April
2011.
[BibTeX]
[URL]
@inproceedings{AKM2011,
author = {A. Abate and J.P. Katoen and A. Mereacre},
title = {Quantitative Automata Model Checking of Autonomous Stochastic Hybrid Systems},
booktitle = {Proceedings of the 14th ACM international conference on Hybrid Systems: computation and control},
year = {2011},
pages = {8392},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateKatoenMereacreHSCC11.pdf}
}
A. Abate,
“Probabilistic Bisimulations of Switching and Resetting Diffusions,”
in Proceedings of the 49th IEEE Conference of Decision and Control,
pp. 59185923,
December
2010.
[BibTeX]
[URL]
@inproceedings{A10,
author = {A. Abate},
title = {Probabilistic Bisimulations of Switching and Resetting Diffusions},
booktitle = {Proceedings of the 49th IEEE Conference of Decision and Control},
year = {2010},
pages = {59185923},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateCDC10.pdf}
}
M. Balandat, W. Zhang and A. Abate,
“On the Infinite Horizon Constrained Switched LQR Problem,”
in Proceedings of the 49th IEEE Conference of Decision and Control,
pp. 21312136,
December
2010.
[BibTeX]
[URL]
@inproceedings{BZA10,
author = {M. Balandat and W. Zhang and A. Abate},
title = {On the Infinite Horizon Constrained Switched LQR Problem},
booktitle = {Proceedings of the 49th IEEE Conference of Decision and Control},
year = {2010},
pages = {21312136},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/BalandatZhangAbateCDC10.pdf}
}
M. V. W. Zhang, A. Abate, J. Hu and C. Tomlin,
“On Sensor Scheduling of Linear Dynamical Systems with Error Bounds,”
in Proceedings of the 49th IEEE Conference of Decision and Control,
pp. 13181323,
December
2010.
[BibTeX]
[URL]
@inproceedings{VZAHT10a,
author = {M.P. Vitus W. Zhang and and A. Abate and J. Hu and C.J. Tomlin},
title = {On Sensor Scheduling of Linear Dynamical Systems with Error Bounds},
booktitle = {Proceedings of the 49th IEEE Conference of Decision and Control},
year = {2010},
pages = {13181323},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/VitusZhangAbateHuTomlinACC10.pdf}
}
W. Zhang, M. Vitus, J. Hu, A. Abate and C. Tomlin,
“On the Optimal Solutions of the InfiniteHorizon Linear Sensor Scheduling Problem,”
in Proceedings of the 49th IEEE Conference of Decision and Control,
pp. 396401,
December
2010.
[BibTeX]
[URL]
@inproceedings{ZVHAT10,
author = {W. Zhang and M.P. Vitus and J. Hu and A. Abate and C.J. Tomlin},
title = {On the Optimal Solutions of the InfiniteHorizon Linear Sensor Scheduling Problem},
booktitle = {Proceedings of the 49th IEEE Conference of Decision and Control},
year = {2010},
pages = {396401},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/ZhangVitusHuAbateTomlinCDC10.pdf}
}
M. Vitus, W. Zhang, A. Abate, J. Hu and C. Tomlin,
“On Efficient Sensor Scheduling for Linear Dynamical Systems,”
in Proceedings of the 29th American Control Conference,
pp. 4833  4838,
June
2010.
[BibTeX]
[URL]
@inproceedings{VZAHT10b,
author = {M.P. Vitus and W. Zhang and A. Abate and J. Hu and C.J. Tomlin},
title = {On Efficient Sensor Scheduling for Linear Dynamical Systems},
booktitle = {Proceedings of the 29th American Control Conference},
year = {2010},
pages = {4833  4838},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/VitusZhangAbateHuTomlinACC10.pdf}
}
A. Abate,
“A Contractivity Approach for Probabilistic Bisimulations of Diffusion Processes,”
in Proceedings of the 48th IEEE Conference of Decision and Control,
December
2009.
[BibTeX]
[URL]
@inproceedings{A09,
author = {A. Abate},
title = {A Contractivity Approach for Probabilistic Bisimulations of Diffusion Processes},
booktitle = {Proceedings of the 48th IEEE Conference of Decision and Control},
year = {2009},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateCDC09.pdf}
}
W. Zhang, A. Abate, M. Vitus and J. Hu,
“On Piecewise Quadratic ControlLyapunov Functions for Switched Linear Systems,”
in Proceedings of the 48th IEEE Conference of Decision and Control,
December
2009.
[BibTeX]
[URL]
@inproceedings{ZAVH09,
author = {W. Zhang and A. Abate and M.P. Vitus and J. Hu},
title = {On Piecewise Quadratic ControlLyapunov Functions for Switched Linear Systems},
booktitle = {Proceedings of the 48th IEEE Conference of Decision and Control},
year = {2009},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/ZhangAbateVitusHuCDC09.pdf}
}
W. Zhang, A. Abate and J. Hu,
“Efficient Suboptimal Solutions of Stitched LQR Problems,”
in Proceedings of the 28th American Control Conference,
pp. 10841091,
June
2009.
[BibTeX]
[URL]
@inproceedings{ZAH09b,
author = {W. Zhang and A. Abate and J. Hu},
title = {Efficient Suboptimal Solutions of Stitched LQR Problems},
booktitle = {Proceedings of the 28th American Control Conference},
year = {2009},
pages = {10841091},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/ZhangAbateHuACC09.pdf}
}
A. Silletti, A. Cenedese and A. Abate,
“The emergent structure of the Drosophila wing: a dynamic model generator,”
in Proceedings of the International Conference on Computer Vision, Theory and Applications (VISAPP 09),
pp. 406410,
February
2009.
[BibTeX]
[URL]
@inproceedings{SCA09,
author = {A. Silletti and A. Cenedese and A. Abate},
title = {The emergent structure of the Drosophila wing: a dynamic model generator},
booktitle = {Proceedings of the International Conference on Computer Vision, Theory and Applications (VISAPP 09)},
year = {2009},
pages = {406410},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/SillettiCenedeseAbateVISAPP09.pdf}
}
A. Abate, M. Prandini, J. Lygeros and S. Sastry,
“An approximate dynamic programming approach to probabilistic reachability for stochastic hybrid systems,”
in Proceedings of the 47th IEEE Conference of Decision and Control,
pp. 40184023,
December
2008.
[BibTeX]
[URL]
@inproceedings{APLS08c,
author = {A. Abate and M. Prandini and J. Lygeros and S. Sastry},
title = {An approximate dynamic programming approach to probabilistic reachability for stochastic hybrid systems},
booktitle = {Proceedings of the 47th IEEE Conference of Decision and Control},
year = {2008},
pages = {40184023},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbatePrandiniLygerosSastryCDC08.pdf}
}
A. D'Innocenzo, A. Abate, M. Di Benedetto and S. Sastry,
“Approximate Abstractions of DiscreteTime Controlled Stochastic Hybrid Systems,”
in Proceedings of the 47th IEEE Conference of Decision and Control,
pp. 221226,
December
2008.
Special Session on ``Abstraction techniques for dynamical systems: theory and computation''.
[BibTeX]
[URL]
@inproceedings{IABS08,
author = {A. D'Innocenzo and A. Abate and M.D. Di Benedetto and S. Sastry},
title = {Approximate Abstractions of DiscreteTime Controlled Stochastic Hybrid Systems},
booktitle = {Proceedings of the 47th IEEE Conference of Decision and Control},
year = {2008},
pages = {221226},
note = {Special Session on ``Abstraction techniques for dynamical systems: theory and computation''},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/DInnocenzoAbateDiBenedettoSastryCDC08.pdf}
}
A. Abate, J. Lygeros and S. Sastry,
“Probabilistic Safety and Optimal Control for Survival Analysis of Bacillus Subtilis,”
in Proceedings of the 2nd Conference on Foundations of Systems Biology in Engineering (FOSBE),
pp. 527532,
2007.
[BibTeX]
[URL]
@inproceedings{ALS07,
author = {A. Abate and J. Lygeros and S. Sastry},
title = {Probabilistic Safety and Optimal Control for Survival Analysis of Bacillus Subtilis},
booktitle = {Proceedings of the 2nd Conference on Foundations of Systems Biology in Engineering (FOSBE)},
year = {2007},
pages = {527532},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateLygerosSastryFOSBE07.pdf}
}
A. D. Ames, A. Abate and S. Sastry,
“Sufficient Conditions for the Existence of Zeno Behavior in Nonlinear Hybrid Systems via Constant Approximations,”
in 46th IEEE Conference on Decision and Control and European Control Conference,
pp. 40334038,
December
2007.
[BibTeX]
[URL]
@inproceedings{AAS07,
author = {A. D. Ames and A. Abate and S. Sastry},
title = {Sufficient Conditions for the Existence of Zeno Behavior in Nonlinear Hybrid Systems via Constant Approximations},
booktitle = {46th IEEE Conference on Decision and Control and European Control Conference},
year = {2007},
pages = {40334038},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/AmesAbateSastryCDC07.pdf}
}
A. Abate, A. Tiwari and S. Sastry,
“Box Invariance for biologicallyinspired dynamical systems,”
in 46th IEEE Conference on Decision and Control and European Control Conference,
pp. 51625167,
December
2007.
[BibTeX]
[URL]
@inproceedings{ATS07,
author = {A. Abate and A. Tiwari and S. Sastry},
title = {Box Invariance for biologicallyinspired dynamical systems},
booktitle = {46th IEEE Conference on Decision and Control and European Control Conference},
year = {2007},
pages = {51625167},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateTiwariSastryCDC07.pdf}
}
A. Abate, Y. Bai, N. Sznajder, C. Talcott and A. Tiwari,
“Quantitative and Probabilistic Modeling in Pathway Logic,”
in Proceedings of the 7th IEEE International Conference on BioInformatics and BioEngineering, BIBE07,
pp. 922929,
October
2007.
[BibTeX]
[URL]
@inproceedings{ABSTT07,
author = {A. Abate and Y. Bai and N. Sznajder and C. Talcott and A. Tiwari},
title = {Quantitative and Probabilistic Modeling in Pathway Logic},
booktitle = {Proceedings of the 7th IEEE International Conference on BioInformatics and BioEngineering, BIBE07},
year = {2007},
pages = {922929},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/Abate_etalBIBE07.pdf}
}
A. Abate, S. Amin, M. Prandini, J. Lygeros and S. Sastry,
“Probabilistic reachability and safe sets computation for discrete time stochastic hybrid systems,”
in Proceedings of the 45th IEEE Conference of Decision and Control,
pp. 258263,
December
2006.
[BibTeX]
[URL]
@inproceedings{AAPLS06b,
author = {A. Abate and S. Amin and M. Prandini and J. Lygeros and S. Sastry},
title = {Probabilistic reachability and safe sets computation for discrete time stochastic hybrid systems},
booktitle = {Proceedings of the 45th IEEE Conference of Decision and Control},
year = {2006},
pages = {258263},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/Abate_etalCDC06.pdf}
}
A. Abate, M. Chen and S. Sastry,
“Analysis of an Implementable Application Layer Scheme for Flow Control over Wireless Networks,”
in Proceedings of the 17th International Symposium on Mathematical Theory of Networks and Systems,
pp. 701708,
July
2006.
[BibTeX]
[URL]
@inproceedings{ACS06,
author = {A. Abate and M. Chen and S. Sastry},
title = {Analysis of an Implementable Application Layer Scheme for Flow Control over Wireless Networks},
booktitle = {Proceedings of the 17th International Symposium on Mathematical Theory of Networks and Systems},
year = {2006},
pages = {701708},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateChenSastryMTNS06.pdf}
}
A. Abate, A. Ames and S. Sastry,
“APriori Detection of Zeno Behavior in Communication Networks Modeled as Hybrid Systems,”
in Proceedings of the 25th American Control Conference,
pp. 15641569,
June
2006.
[BibTeX]
[URL]
@inproceedings{AAS06a,
author = {A. Abate and A. Ames and S. Sastry},
title = {APriori Detection of Zeno Behavior in Communication Networks Modeled as Hybrid Systems},
booktitle = {Proceedings of the 25th American Control Conference},
year = {2006},
pages = {15641569},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateAmesSastryACC06tcp.pdf}
}
A. Abate, A. Ames and S. Sastry,
“Error bounds based stochastic approximations and simulations of hybrid dynamical systems,”
in Proceedings of the 25th American Control Conference,
pp. 47424747,
June
2006.
[BibTeX]
[URL]
@inproceedings{AAS06b,
author = {A. Abate and A. Ames and S. Sastry},
title = {Error bounds based stochastic approximations and simulations of hybrid dynamical systems},
booktitle = {Proceedings of the 25th American Control Conference},
year = {2006},
pages = {47424747},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateAmesSastryACC06approx.pdf}
}
A. Abate and A. Tiwari,
“Box Invariance of hybrid and switched systems,”
in Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems,
pp. 359364,
June
2006.
[BibTeX]
[URL]
@inproceedings{AT06,
author = {A. Abate and A. Tiwari},
title = {Box Invariance of hybrid and switched systems},
booktitle = {Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems},
year = {2006},
pages = {359364},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateTiwariADHS06.pdf}
}
A. D. Ames, A. Abate and S. Sastry,
“Sufficient Conditions for the Existence of Zeno Behavior,”
in Proceedings of the 44th IEEE Conference on Decision and Control and European Control Conference,
pp. 696701,
December
2005.
[BibTeX]
[URL]
@inproceedings{AAS05,
author = {A. D. Ames and A. Abate and S. Sastry},
title = {Sufficient Conditions for the Existence of Zeno Behavior},
booktitle = {Proceedings of the 44th IEEE Conference on Decision and Control and European Control Conference},
year = {2005},
pages = {696701},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/AmesAbateSastryCDC05.pdf}
}
A. Abate, M. Chen and S. Sastry,
“New Congestion Control Schemes over Wireless Networks: Delay Sensitivity Analysis and Simulations,”
in Proceedings of the 16th IFAC World Congress,
July
2005.
[BibTeX]
[URL]
@inproceedings{ACS05,
author = {A. Abate and M. Chen and S. Sastry},
title = {New Congestion Control Schemes over Wireless Networks: Delay Sensitivity Analysis and Simulations},
booktitle = {Proceedings of the 16th IFAC World Congress},
year = {2005},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateChenSastryIFAC05.pdf}
}
M. Chen, A. Abate and S. Sastry,
“New Congestion Control Schemes over Wireless Networks: Stability Analysis,”
in Proceedings of the 16th IFAC World Congress,
July
2005.
[BibTeX]
[URL]
@inproceedings{CAS05,
author = {M. Chen and A. Abate and S. Sastry},
title = {New Congestion Control Schemes over Wireless Networks: Stability Analysis},
booktitle = {Proceedings of the 16th IFAC World Congress},
year = {2005},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/ChenAbateSastryIFAC05.pdf}
}
A. Abate, A. Ames and S. Sastry,
“Stochastic Approximations of Hybrid Systems,”
in Proceedings of the 24th American Control Conference,
pp. 15571562,
June
2005.
[BibTeX]
[URL]
@inproceedings{AAS05b,
author = {A. Abate and A. Ames and S. Sastry},
title = {Stochastic Approximations of Hybrid Systems},
booktitle = {Proceedings of the 24th American Control Conference},
year = {2005},
pages = {15571562},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateAmesSastryACC05.pdf}
}
A. Abate and L. E. Ghaoui,
“Robust Model Predictive Control through Adjustable Variables: An Application to Path Planning,”
in Proceedings of the 43rd IEEE Conference on Decision and Control,
vol. 3,
pp. 24852490,
December
2004.
[BibTeX]
[URL]
@inproceedings{AEG04,
author = {A. Abate and L. El Ghaoui},
title = {Robust Model Predictive Control through Adjustable Variables: An Application to Path Planning},
booktitle = {Proceedings of the 43rd IEEE Conference on Decision and Control},
year = {2004},
volume = {3},
pages = {24852490},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateElGhaouiCDC04.pdf}
}
L. Shi, A. Abate and S. Sastry,
“Optimal Control for a class of Stochastic Hybrid Systems,”
in Proceedings of the 43rd IEEE Conference on Decision and Control,
vol. 2,
pp. 1842  1847,
December
2004.
[BibTeX]
@inproceedings{SAS04,
author = {L. Shi and A. Abate and S. Sastry},
title = {Optimal Control for a class of Stochastic Hybrid Systems},
booktitle = {Proceedings of the 43rd IEEE Conference on Decision and Control},
year = {2004},
volume = {2},
pages = {1842  1847}
}
A. Abate, L. Shi, S. Simic and S. Sastry,
“A Stability Criterion for Stochastic Hybrid Systems,”
in Proceedings of the 16th International Symposium on Mathematical Theory of Networks and Systems,
July
2004.
[BibTeX]
[URL]
@inproceedings{ASSS04,
author = {A. Abate and L. Shi and S. Simic and S. Sastry},
title = {A Stability Criterion for Stochastic Hybrid Systems},
booktitle = {Proceedings of the 16th International Symposium on Mathematical Theory of Networks and Systems},
year = {2004},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateShiSimicSastryMTNS04.pdf}
}
Selected Archived Technical Reports
A. Abate, J.P.. Katoen, M. Fraenzle and M. Prandini,
“Report on Modeling Frameworks, Model Composition and Bisimulation Notions  D1.1,”
2011.
[BibTeX]
[URL]
@techreport{AAetal11TR,
author = {A. Abate and J.P. Katoen and M. Fraenzle and M. Prandini},
title = {Report on Modeling Frameworks, Model Composition and Bisimulation Notions  D1.1},
year = {2011},
url = {http://www.movesproject.eu/deliverables/WP1/D1.1.pdf}
}
W. Zhang, J. Hu and A. Abate,
“Stabilizing Switched Linear Systems With Unstabilizable Subsystems,”
March
2009.
[BibTeX]
[URL]
@techreport{ZHA09TRa,
author = {Wei Zhang and Jianghai Hu and Alessandro Abate},
title = {Stabilizing Switched Linear Systems With Unstabilizable Subsystems},
year = {2009},
number = {Purdue/ECE2009381},
url = {http://docs.lib.purdue.edu/ecetr/381}
}
W. Zhang, J. Hu and A. Abate,
“A Study of the DiscreteTime Switched LQR Problem,”
March
2009.
[BibTeX]
[URL]
@techreport{ZHA09TRb,
author = {Wei Zhang and Jianghai Hu and Alessandro Abate},
title = {A Study of the DiscreteTime Switched LQR Problem},
year = {2009},
number = {Purdue/ECE2009384},
url = {http://docs.lib.purdue.edu/ecetr/384}
}
J. G. Makin and A. Abate,
“A Neural HybridSystem Model of the Basal Ganglia,”
January 16
2007.
[BibTeX]
[URL]
@techreport{MA07TR,
author = {Joseph Gerard Makin and Alessandro Abate},
title = {A Neural HybridSystem Model of the Basal Ganglia},
year = {2007},
number = {UCB/EECS200716},
url = {http://www.eecs.berkeley.edu/Pubs/TechRpts/2007/EECS200716.html}
}
Theses
A. Abate,
“Analysis of Stochastic Hybrid Systems,”
May
2004.
[BibTeX]
@mastersthesis{A04,
author = {Alessandro Abate},
title = {Analysis of Stochastic Hybrid Systems},
school = {EECS Department, University of California, Berkeley},
year = {2004}
}
A. Abate,
“Nonlinear, predictive control for a nonholonomic, nonminimum phase system,”
October
2002.
[BibTeX]
[URL]
@mastersthesis{A02,
author = {Alessandro Abate},
title = {Nonlinear, predictive control for a nonholonomic, nonminimum phase system},
school = {DEI, Università degli Studi di Padova},
year = {2002},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateLaureaOct02.pdf}
}
A. Abate,
Probabilistic Reachability for Stochastic Hybrid Systems: Theory, Computations, and Applications.
PhD thesis
, EECS Department, University of California, Berkeley
, 2007.
[BibTeX]
[URL]
@phdthesis{A07,
author = {Alessandro Abate},
title = {Probabilistic Reachability for Stochastic Hybrid Systems: Theory, Computations, and Applications},
school = {EECS Department, University of California, Berkeley},
year = {2007},
url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbatePhDdiss07.pdf}
}
