Alessandro Abate  Selected Publications
My DBLP entry
My Scopus author page (requires registration)
Selected recent work is available on my arXiv page
Edited Books
“Hybrid Systems: Computation and Control,”
2016.
310 pages.
[BibTeX]
@proceedings{AF16,,
title = {Hybrid Systems: Computation and Control},
publisher = {ACM},
year = {2016},
note = {310 pages}
}
“Hybrid Systems in Biology,”
2015.
250 pages.
[BibTeX]
@proceedings{AS15,,
title = {Hybrid Systems in Biology},
publisher = {Springer Verlag},
year = {2015},
volume = {9271},
note = {250 pages}
}
Journal Articles
S. Haesaert, P.M.J.. V.d. Hof and A. Abate,
“Datadriven and Modelbased Verification via Bayesian Identification and Reachability Analysis,”
Automatica,
2017.
[BibTeX]
[URL]
@article{HVA17,
author = {S. Haesaert and P.M.J. V.d. Hof and A. Abate},
title = {Datadriven and Modelbased Verification via Bayesian Identification and Reachability Analysis},
journal = {Automatica},
year = {2017},
url = {./publications/HVA17.pdf}
}
M. Zamani, I. Tkachev and A. Abate,
“Towards Scalable Synthesis of Stochastic Control Systems,”
Discrete Event Dynamic Systems,
2017.
[BibTeX]
[URL]
@article{ZTA17,
author = {M. Zamani and I. Tkachev and A. Abate},
title = {Towards Scalable Synthesis of Stochastic Control Systems},
journal = {Discrete Event Dynamic Systems},
year = {2017},
url = {./publications/ZTA17.pdf}
}
D. Adzkiya, Y. Zhang and A. Abate,
“VeriSiMPL 2: An OpenSource Software for the Verification of MaxPlusLinear Systems,”
Discrete Events Dynamical Systems,
vol. 26,
no. 1,
pp. 109145,
2016.
[BibTeX]
[URL]
@article{AZA15,
author = {D. Adzkiya and Y. Zhang and A. Abate},
title = {VeriSiMPL 2: An OpenSource Software for the Verification of MaxPlusLinear Systems},
journal = {Discrete Events Dynamical Systems},
year = {2016},
volume = {26},
number = {1},
pages = {109145},
url = {./publications/AYA15.pdf}
}
S. Esmaeil Zadeh Soudjani, D. Adzkiya and A. Abate,
“Formal Verification of Stochastic MaxPlusLinear Systems,”
IEEE Transactions on Automatic Control,
vol. 61,
no. 10,
pp. 2861  2876,
Jan
2016.
[BibTeX]
[URL]
@article{SAA16,
author = {S. Esmaeil Zadeh Soudjani and D. Adzkiya and A. Abate},
title = {Formal Verification of Stochastic MaxPlusLinear Systems},
journal = {IEEE Transactions on Automatic Control},
year = {2016},
volume = {61},
number = {10},
pages = {2861  2876},
url = {./publications/SAA16.pdf}
}
S. Esmaeil Zadeh Soudjani, A. Abate and R. Majumdar,
“Dynamic Bayesian Networks for Formal Verification of Structured Stochastic Processes,”
Acta Informatica,
2016.
[BibTeX]
[URL]
@article{SAM16,
author = {S. Esmaeil Zadeh Soudjani and A. Abate and R. Majumdar},
title = {Dynamic Bayesian Networks for Formal Verification of Structured Stochastic Processes},
journal = {Acta Informatica},
year = {2016},
url = {./publications/SAM16.pdf}
}
I. Tkachev, A. Mereacre, J.P.. Katoen and A. Abate,
“Quantitative Model Checking of Controlled DiscreteTime Markov Processes,”
Information and Computation,
2016.
[BibTeX]
[URL]
@article{TMKA16,
author = {I. Tkachev and A. Mereacre and J.P. Katoen and A. Abate},
title = {Quantitative Model Checking of Controlled DiscreteTime Markov Processes},
journal = {Information and Computation},
year = {2016},
url = {./publications/TMKA16.pdf}
}
D. Adzkiya, B. De Schutter and A. Abate,
“Computational Techniques for Reachability Analysis of MaxPlusLinear Systems,”
Automatica,
vol. 53,
no. 3,
pp. 293302,
Mar
2015.
[BibTeX]
[URL]
@article{ADSA15,
author = {D. Adzkiya and B. De Schutter and A. Abate},
title = {Computational Techniques for Reachability Analysis of MaxPlusLinear Systems},
journal = {Automatica},
year = {2015},
volume = {53},
number = {3},
pages = {293302},
url = {./publications/ADSA15.pdf}
}
S. Esmaeil Zadeh Soudjani and A. Abate,
“Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions,”
IEEE Transactions on Control Systems Technology,
vol. 23,
no. 3,
pp. 975990,
Mar
2015.
[BibTeX]
[URL]
@article{SA15,
author = {S. Esmaeil Zadeh Soudjani and A. Abate},
title = {Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions},
journal = {IEEE Transactions on Control Systems Technology},
year = {2015},
volume = {23},
number = {3},
pages = {975990},
url = {./publications/SA15.pdf}
}
S. Esmaeil Zadeh Soudjani and A. Abate,
“Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions,”
Logical Methods in Computer Science,
vol. 11,
no. 3,
Oct
2015.
[BibTeX]
[URL]
@article{SA15b,
author = {S. Esmaeil Zadeh Soudjani and A. Abate},
title = {Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions},
journal = {Logical Methods in Computer Science},
year = {2015},
volume = {11},
number = {3},
url = {./publications/SA15b.pdf}
}
M. Zamani, A. Abate and A. Girard,
“Symbolic Models for Stochastic Switched Systems: A Discretization and a DiscretizationFree Approach,”
Automatica,
vol. 55,
no. 5,
pp. 183196,
May
2015.
[BibTeX]
[URL]
@article{ZAG15,
author = {M. Zamani and A. Abate and A. Girard},
title = {Symbolic Models for Stochastic Switched Systems: A Discretization and a DiscretizationFree Approach},
journal = {Automatica},
year = {2015},
volume = {55},
number = {5},
pages = {183196},
url = {./publications/ZGA15.pdf}
}
A. Abate,
“Approximation Metrics based on Probabilistic Bisimulations for General StateSpace Markov Processes: a Survey,”
Electronic Notes in Theoretical Computer Sciences,
vol. 297,
pp. 325,
2014.
[BibTeX]
[URL]
@article{A14,
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 = {2014},
volume = {297},
pages = {325},
url = {./publications/A14.pdf}
}
A. Abate, F. Redig and I. Tkachev,
“On the effect of perturbation of conditional probabilities in total variation,”
Statistics and Probability Letters,
vol. 88,
pp. 18,
May
2014.
[BibTeX]
[URL]
@article{ART14,
author = {A. Abate and F. Redig and I. Tkachev},
title = {On the effect of perturbation of conditional probabilities in total variation},
journal = {Statistics and Probability Letters},
year = {2014},
volume = {88},
pages = {18},
url = {./publications/ART14.pdf}
}
L. de Jonge, N. Buijs, J. Heijnen, W. van Gulik, A. Abate and A. Wahl,
“Flux Response of Glycolysis and Storage Metaboism during rapid feast/famine conditions in Pennicullium chrysogenum using dynamic $13^C$ labeling,”
Journal of Biotechnology,
vol. 9,
no. 3,
pp. 372385,
Mar
2014.
[BibTeX]
[URL]
@article{dJBHvGAW14,
author = {L. de Jonge and N.A.A. Buijs and J.J. Heijnen and W.M. van Gulik and A. Abate and A. Wahl},
title = {Flux Response of Glycolysis and Storage Metaboism during rapid feast/famine conditions in Pennicullium chrysogenum using dynamic $13^C$ labeling},
journal = {Journal of Biotechnology},
year = {2014},
volume = {9},
number = {3},
pages = {372385},
url = {./publications/dJBHvGAW14.pdf}
}
I. Tkachev and A. Abate,
“Characterization and computation of infinite horizon specifications over Markov processes,”
Theoretical Computer Science,
vol. 515,
pp. 118,
2014.
[BibTeX]
[URL]
@article{TA14,
author = {I. Tkachev and A. Abate},
title = {Characterization and computation of infinite horizon specifications over Markov processes},
journal = {Theoretical Computer Science},
year = {2014},
volume = {515},
pages = {118},
url = {./publications/TA14.pdf}
}
M. Zamani and A. Abate,
“Symbolic Models for Randomly Switched Stochastic Systems,”
Systems & Control Letters,
vol. 69,
pp. 3846,
2014.
[BibTeX]
[URL]
@article{ZA14,
author = {M. Zamani and A. Abate},
title = {Symbolic Models for Randomly Switched Stochastic Systems},
journal = {Systems & Control Letters},
year = {2014},
volume = {69},
pages = {3846},
url = {./publications/ZA14.pdf}
}
M. Zamani, P. Mohajerin Esfahani, R. Majumdar, A. Abate and J. Lygeros,
“Symbolic control of stochastic systems via approximately bisimilar finite abstractions,”
IEEE Transactions on Automatic Control,
vol. 59,
no. 12,
pp. 28252830,
Dec
2014.
[BibTeX]
[URL]
@article{ZMMAL14,
author = {M. Zamani and P. Mohajerin Esfahani and R. Majumdar and A. Abate and J. Lygeros},
title = {Symbolic control of stochastic systems via approximately bisimilar finite abstractions},
journal = {IEEE Transactions on Automatic Control},
year = {2014},
volume = {59},
number = {12},
pages = {28252830},
url = {./publications/ZMMAL14.pdf}
}
L. Zhao, W. Zhang, J. Hu, A. Abate and C. Tomlin,
“On the Optimal Solutions of the InfiniteHorizon Linear Sensor Scheduling Problem,”
IEEE Transactions on Automatic Control,
vol. 59,
no. 10,
pp. 28252830,
Oct
2014.
[BibTeX]
[URL]
@article{ZZHAT14,
author = {L. Zhao and W. Zhang and J. Hu and A. Abate and C.J. Tomlin},
title = {On the Optimal Solutions of the InfiniteHorizon Linear Sensor Scheduling Problem},
journal = {IEEE Transactions on Automatic Control},
year = {2014},
volume = {59},
number = {10},
pages = {28252830},
url = {./publications/ZZHAT14.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,
vol. 23,
no. 2,
pp. 208228,
2013.
[BibTeX]
[URL]
@article{ACWZS13,
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 = {2013},
volume = {23},
number = {2},
pages = {208228},
url = {./publications/ACWZS13.pdf}
}
J. Ding, M. Kamgarpour, S. Summers, A. Abate, J. Lygeros and C. Tomlin,
“A stochastic games framework for verification and control of discretetime stochastic hybrid systems,”
Automatica,
vol. 49,
no. 9,
pp. 26652674,
2013.
[BibTeX]
[URL]
@article{DKSALT13,
author = {J. Ding and M. Kamgarpour and S. Summers and A. Abate and J. Lygeros and C.J. Tomlin},
title = {A stochastic games framework for verification and control of discretetime stochastic hybrid systems},
journal = {Automatica},
year = {2013},
volume = {49},
number = {9},
pages = {26652674},
url = {./publications/DKSALT13.pdf}
}
S. Esmaeil Zadeh Soudjani and A. Abate,
“Probabilistic ReachAvoid Computation for PartiallyDegenerate Stochastic Processes,”
IEEE Transactions on Automatic Control,
vol. 58,
no. 12,
pp. 528534,
Dec
2013.
[BibTeX]
[URL]
@article{SA13b,
author = {S. Esmaeil Zadeh Soudjani and A. Abate},
title = {Probabilistic ReachAvoid Computation for PartiallyDegenerate Stochastic Processes},
journal = {IEEE Transactions on Automatic Control},
year = {2013},
volume = {58},
number = {12},
pages = {528534},
url = {./publications/SA13b.pdf}
}
K. Staňková, A. Abate and M. Sabelis,
“Irreversible prey diapause as an optimal strategy of a physiologically extended LotkaVolterra model,”
Journal of Mathematical Biology,
vol. 66,
no. 4,
pp. 767794,
2013.
[BibTeX]
[URL]
@article{SAS13,
author = {K. Staňková 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 = {2013},
volume = {66},
number = {4},
pages = {767794},
url = {./publications/SAS13.pdf}
}
K. Staňková, A. Abate and M. Sabelis,
“Intraseasonal Strategies Based on Energy Budgets in a Dynamic PredatorPrey Game,”
Advances in Dynamic Games  Annals of the International Society of Dynamic Games,
vol. 13,
pp. 205222,
2013.
[BibTeX]
[URL]
@article{SAS13b,
author = {K. Staňková and A. Abate and M.W. Sabelis},
title = {Intraseasonal Strategies Based on Energy Budgets in a Dynamic PredatorPrey Game},
journal = {Advances in Dynamic Games  Annals of the International Society of Dynamic Games},
year = {2013},
volume = {13},
pages = {205222},
url = {./publications/SAS13b.pdf}
}
K. Staňková, A. Abate and M. Sabelis,
“Joining or opting out of a LotkaVolterra game between predators and prey: Does the best strategy depend on modeling energy lost and gained?,”
Journal of the Royal Society  Interface Focus,
vol. 3,
no. 6,
pp. 111,
Dec
2013.
[BibTeX]
[URL]
@article{SAS13c,
author = {K. Staňková and A. Abate and M.W. Sabelis},
title = {Joining or opting out of a LotkaVolterra game between predators and prey: Does the best strategy depend on modeling energy lost and gained?},
journal = {Journal of the Royal Society  Interface Focus},
year = {2013},
volume = {3},
number = {6},
pages = {111},
url = {./publications/SAS13c.pdf}
}
D. Adzkiya, B. De Schutter and A. Abate,
“Finite Bisimulations of MaxPlusLinear Systems,”
IEEE Transactions on Automatic Control,
vol. 58,
no. 12,
pp. 30393054,
Dec
2012.
[BibTeX]
[URL]
@article{ADSA13,
author = {D. Adzkiya and B. De Schutter and A. Abate},
title = {Finite Bisimulations of MaxPlusLinear Systems},
journal = {IEEE Transactions on Automatic Control},
year = {2012},
volume = {58},
number = {12},
pages = {30393054},
url = {./publications/ADSA13.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,
2012.
Special Issue on System Identification for Biological Systems.
[BibTeX]
[URL]
@article{AHW12,
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},
url = {./publications/AHW12.pdf}
}
A. Abate, S. Vincent, R. Dobbe, A. Silletti, N. Master, J. Axelrod and C. Tomlin,
“A Mechanical Modeling Framework for the Study of Epithelial Morphogenesis,”
IEEE/ACM Transactions on Computational Biology and Bioinformatics,
vol. 9,
no. 6,
pp. 16071620,
Nov
2012.
[BibTeX]
[URL]
@article{AVDSMAT12,
author = {A. Abate and S. Vincent and R. Dobbe and A. Silletti and N. Master and J. Axelrod and C.J. Tomlin},
title = {A Mechanical Modeling Framework for the Study of Epithelial Morphogenesis},
journal = {IEEE/ACM Transactions on Computational Biology and Bioinformatics},
year = {2012},
volume = {9},
number = {6},
pages = {16071620},
url = {./publications/AVDSMAT12.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.
[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},
url = {./publications/BSBVAW12.pdf}
}
M. Balandat, W. Zhang and A. Abate,
“Infinite Horizon Constrained Switched LQR Problem,”
Systems and Control Letters,
vol. 61,
no. 4,
pp. 464471,
2012.
[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},
url = {./publications/BZA12.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,
vol. 12,
no. 2,
pp. 921956,
2012.
[BibTeX]
[URL]
@article{SA13,
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},
volume = {12},
number = {2},
pages = {921956},
url = {./publications/SA13.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,
Aug
2012.
[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},
url = {./publications/VZAHT12.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,
Jul
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 = {./publications/ZHA12.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.
[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},
url = {./publications/AIB11.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.
[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},
url = {./publications/SAAT11.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.
[BibTeX]
[URL]
@article{AKLP10,
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},
url = {./publications/AKLP10.pdf}
}
A. Abate, J. Lygeros and S. Sastry,
“Probabilistic Safety and Optimal Control for Survival Analysis of it Bacillus Subtilis,”
Systems and Control Letters,
vol. 59,
no. 1,
pp. 7985,
Jan
2010.
[BibTeX]
[URL]
@article{ALS10,
author = {A. Abate and J. Lygeros and S. Sastry},
title = {Probabilistic Safety and Optimal Control for Survival Analysis of it Bacillus Subtilis},
journal = {Systems and Control Letters},
year = {2010},
volume = {59},
number = {1},
pages = {7985},
url = {./publications/ALS10.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.
[BibTeX]
[URL]
@article{AIBS09,
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},
year = {2009},
volume = {3},
number = {2},
pages = {150162},
url = {./publications/AIBS09.pdf}
}
A. Abate, A. Tiwari and S. Sastry,
“Box Invariance in biologicallyinspired dynamical systems,”
Automatica,
vol. 45,
no. 7,
pp. 16011610,
Jul
2009.
[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},
url = {./publications/ATS09.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,
Nov
2009.
[BibTeX]
[URL]
@article{ZAH09,
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},
url = {./publications/ZAH08.pdf}
}
W. Zhang, A. Abate, J. Hu and M. Vitus,
“Exponential Stabilization of DiscreteTime Switched Linear Systems,”
Automatica,
vol. 45,
no. 11,
pp. 25262536,
Nov
2009.
[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},
url = {./publications/ZAHV09.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.
[BibTeX]
[URL]
@article{APLS08,
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},
url = {./publications/APLS08.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.
[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},
url = {./publications/BBDMAATP08.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,
Dec
2008.
[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},
url = {./publications/MARATA08.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,
Jan
2006.
[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},
url = {./publications/ADMLAGBP06.pdf}
}
Proceedings as book chapters (Springer’s LNCS and LNBI, Dagstuhlâ€™s LIPICS)
G. Bian and A. Abate,
“On the Relationship between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context,”
in Proceedings of FOSSACS,
2017.
[BibTeX]
[URL]
@inproceedings{bcBA17,
author = {G. Bian and A. Abate},
title = {On the Relationship between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context},
booktitle = {Proceedings of FOSSACS},
year = {2017},
url = {./publications/bcBA17.pdf}
}
A. Abate, M. Ceska and M. Kwiatkowska,
“Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations,”
in Proceedings of ATVA16, LNCS 9938,
pp. 1331,
2016.
[BibTeX]
[URL]
@inproceedings{bcACK16,
author = {A. Abate and M. Ceska and M. Kwiatkowska},
title = {Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations},
booktitle = {Proceedings of ATVA16, LNCS 9938},
year = {2016},
pages = {1331},
url = {./publications/bcACK16.pdf}
}
S. Haesert, A. Abate and P.M.J.. V.d. Hof,
“Verification of general Markov decision processes by approximate similarity relations and policy refinement,”
in Proceedings of QEST16, LNCS 9826,
pp. 227243,
2016.
[BibTeX]
[URL]
@inproceedings{bcHAV16,
author = {S. Haesert and A. Abate and P.M.J. V.d. Hof},
title = {Verification of general Markov decision processes by approximate similarity relations and policy refinement},
booktitle = {Proceedings of QEST16, LNCS 9826},
year = {2016},
pages = {227243},
url = {./publications/bcHAV16.pdf}
}
E. Polgreen, V. Wijesuriya, S. Haesert and A. Abate,
“Dataefficient Bayesian verification of parametric Markov chains,”
in Proceedings of QEST16, LNCS 9826,
pp. 3551,
2016.
[BibTeX]
[URL]
@inproceedings{bcPVHA16,
author = {E. Polgreen and V. Wijesuriya and S. Haesert and A. Abate},
title = {Dataefficient Bayesian verification of parametric Markov chains},
booktitle = {Proceedings of QEST16, LNCS 9826},
year = {2016},
pages = {3551},
url = {./publications/bcPVHA16.pdf}
}
S. Soudjani, R. Majumdar and A. Abate,
“Safety Verification of ContinuousSpace Pure Jump Markov Processes,”
in Proceedings of TACAS16, LNCS 9636,
pp. 147163,
2016.
[BibTeX]
[URL]
@inproceedings{bcSMA16,
author = {S.E.Z. Soudjani and R. Majumdar and A. Abate},
title = {Safety Verification of ContinuousSpace Pure Jump Markov Processes},
booktitle = {Proceedings of TACAS16, LNCS 9636},
year = {2016},
pages = {147163},
url = {./publications/bcSMA16.pdf}
}
A. Abate, L. Brim, M. Ceska and M. Kwiatkowska,
“Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks,”
in Proceedings of CAV15, LNCS 9206,
pp. 195213,
2015.
[BibTeX]
[URL]
@inproceedings{bcABCK15,
author = {A. Abate and L. Brim and M. Ceska and M. Kwiatkowska},
title = {Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks},
booktitle = {Proceedings of CAV15, LNCS 9206},
publisher = {Springer Verlag},
year = {2015},
pages = {195213},
url = {./publications/bcABCK15.pdf}
}
D. Cattaruzza, A. Abate, P. Schrammel and D. Kroening,
“UnboundedTime Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration,”
in Proceedings of SAS15, LNCS 9291,
pp. 312331,
2015.
[BibTeX]
[URL]
@inproceedings{bcCASK15,
author = {D. Cattaruzza and A. Abate and P. Schrammel and D. Kroening},
title = {UnboundedTime Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration},
booktitle = {Proceedings of SAS15, LNCS 9291},
publisher = {Springer Verlag},
year = {2015},
pages = {312331},
url = {./publications/bcCASK15.pdf}
}
M. Fränzle, S. Gerwinn, P. Kröger, A. Abate and J.P. Katoen,
“MultiObjective Parameter Synthesis in Probabilistic Hybrid Systems,”
in Proceedings of FORMATS15, LNCS 9268,
pp. 93107,
2015.
[BibTeX]
[URL]
@inproceedings{bcFGKAK15,
author = {M. Fränzle and S. Gerwinn and P. Kröger and A. Abate and J.P. Katoen},
title = {MultiObjective Parameter Synthesis in Probabilistic Hybrid Systems},
booktitle = {Proceedings of FORMATS15, LNCS 9268},
publisher = {Springer Verlag},
year = {2015},
pages = {93107},
url = {./publications/bcFGKAK15.pdf}
}
S. Esmaeil Zadeh Soudjani, C. Gevaerts and A. Abate,
“FAUST$^2$: Formal Abstractions of UncountableSTate STochastic processes,”
in Proceedings of TACAS15, LNCS 9035,
pp. 272286,
2015.
[BibTeX]
[URL]
@inproceedings{bcSA15,
author = {S. Esmaeil Zadeh Soudjani and C. Gevaerts and A. Abate},
title = {FAUST$^2$: Formal Abstractions of UncountableSTate STochastic processes},
booktitle = {Proceedings of TACAS15, LNCS 9035},
publisher = {Springer Verlag},
year = {2015},
pages = {272286},
url = {./publications/bcSA15.pdf}
}
S. Esmaeil Zadeh Soudjani, R. Majumdar and A. Abate,
“Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes,”
in Proceedings of CONCUR15, LIPICS 42,
pp. 169183,
2015.
[BibTeX]
[URL]
@inproceedings{bcSAM15,
author = {S. Esmaeil Zadeh Soudjani and R. Majumdar and A. Abate},
title = {Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes},
booktitle = {Proceedings of CONCUR15, LIPICS 42},
publisher = {Dagstuhl Publishing},
year = {2015},
pages = {169183},
url = {./publications/bcSAM15.pdf}
}
D. Adzkiya, B. De Schutter and A. Abate,
“Forward Reachability Computation for Autonomous MaxPlusLinear Systems,”
in Proceedings of TACAS14, LNCS 8413,
pp. 248262,
2014.
[BibTeX]
[URL]
@inproceedings{bcADSA14,
author = {D. Adzkiya and B. De Schutter and A. Abate},
title = {Forward Reachability Computation for Autonomous MaxPlusLinear Systems},
booktitle = {Proceedings of TACAS14, LNCS 8413},
publisher = {Springer Verlag},
year = {2014},
pages = {248262},
url = {./publications/bcADSA14.pdf}
}
A. Abate, M. Kwiatkowska, G. Norman and D. Parker,
“Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations,”
in Proceedings of Horizons of the Mind, LNCS 8464,
pp. 4058,
2014.
[BibTeX]
[URL]
@inproceedings{bcAKNP14,
author = {A. Abate and M. Kwiatkowska and G. Norman and D. Parker},
title = {Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations},
booktitle = {Proceedings of Horizons of the Mind, LNCS 8464},
publisher = {Springer Verlag},
year = {2014},
pages = {4058},
url = {./publications/bcAKNP14.pdf}
}
L. Maruthi, I. Tkachev, A. Carta, E. Cinquemani, P. Hersen, G. Batt and A. Abate,
“Towards realtime control of gene expression at the single cell level: a stochastic control approach,”
in Proceedings of CMSB14, LNBI 8859,
pp. 155172,
2014.
[BibTeX]
[URL]
@inproceedings{bcMTCCHBA14,
author = {L.R.M. Maruthi and I. Tkachev and A. Carta and E. Cinquemani and P. Hersen and G. Batt and A. Abate},
title = {Towards realtime control of gene expression at the single cell level: a stochastic control approach},
booktitle = {Proceedings of CMSB14, LNBI 8859},
publisher = {Springer Verlag},
year = {2014},
pages = {155172},
url = {./publications/bcMTCCHBA14.pdf}
}
S. Esmaeil Zadeh Soudjani and A. Abate,
“Precise Approximations of the Probability Distribution of a Markov Process in Time: an Application to Probabilistic Invariance,”
in Proceedings of TACAS14, LNCS 8413,
pp. 547561,
2014.
[BibTeX]
[URL]
@inproceedings{bcSA14,
author = {S. Esmaeil Zadeh Soudjani and A. Abate},
title = {Precise Approximations of the Probability Distribution of a Markov Process in Time: an Application to Probabilistic Invariance},
booktitle = {Proceedings of TACAS14, LNCS 8413},
publisher = {Springer Verlag},
year = {2014},
pages = {547561},
url = {./publications/bcSA14.pdf}
}
S. Esmaeil Zadeh Soudjani, D. Adzkiya and A. Abate,
“Finite Abstractions of Stochastic MaxPlusLinear Systems,”
in Proceedings of QEST14, LNCS 8657,
pp. 5773,
2014.
[BibTeX]
[URL]
@inproceedings{bcSAA14,
author = {S. Esmaeil Zadeh Soudjani and D. Adzkiya and A. Abate},
title = {Finite Abstractions of Stochastic MaxPlusLinear Systems},
booktitle = {Proceedings of QEST14, LNCS 8657},
publisher = {Springer Verlag},
year = {2014},
pages = {5773},
url = {./publications/bcSAA14.pdf}
}
S. Esmaeil Zadeh Soudjani, S. Gerwinn, C. Ellen, M. Fraenzle and A. Abate,
“Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads,”
in Proceedings of QEST14, LNCS 8657,
pp. 7489,
2014.
[BibTeX]
[URL]
@inproceedings{bcSGEFA14,
author = {S. Esmaeil Zadeh Soudjani and S. Gerwinn and C. Ellen and M. Fraenzle and A. Abate},
title = {Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads},
booktitle = {Proceedings of QEST14, LNCS 8657},
publisher = {Springer Verlag},
year = {2014},
pages = {7489},
url = {./publications/bcSGEFA14.pdf}
}
D. Adzkiya and A. Abate,
“VeriSiMPL: Verification via biSimulations of MPL models,”
in Proceedings of QEST13, LNCS 8054,
pp. 274277,
2013.
[BibTeX]
[URL]
@inproceedings{bcAA13,
author = {D. Adzkiya and A. Abate},
title = {VeriSiMPL: Verification via biSimulations of MPL models},
booktitle = {Proceedings of QEST13, LNCS 8054},
publisher = {Springer Verlag},
year = {2013},
pages = {274277},
url = {./publications/bcAA13.pdf}
}
M. Zamani and A. Abate,
“Approximately Bisimilar Symbolic Models for Stochastic Switched Systems,”
in Proceedings of QEST13, LNCS 8054,
pp. 305321,
2013.
[BibTeX]
[URL]
@inproceedings{bcZA13,
author = {M. Zamani and A. Abate},
title = {Approximately Bisimilar Symbolic Models for Stochastic Switched Systems},
booktitle = {Proceedings of QEST13, LNCS 8054},
publisher = {Springer Verlag},
year = {2013},
pages = {305321},
url = {./publications/bcZA13.pdf}
}
S. Esmaeil Zadeh Soudjani and A. Abate,
“Higher Order Approximations for Verification of Stochastic Hybrid Systems,”
in Proceedings of ATVA12, LNCS 7561,
pp. 416434,
2012.
[BibTeX]
[URL]
@inproceedings{bcSA12,
author = {S. Esmaeil Zadeh Soudjani and A. Abate},
title = {Higher Order Approximations for Verification of Stochastic Hybrid Systems},
booktitle = {Proceedings of ATVA12, LNCS 7561},
publisher = {Springer Verlag},
year = {2012},
pages = {416434},
url = {./publications/bcSA12.pdf}
}
W. Zhang, A. Abate and J. Hu,
“Stabilization of DiscreteTime Switched Linear Systems: A ControlLyapunov Function Approach,”
in Proceedings of HSCC09, LNCS 5469,
pp. 411425,
2009.
[BibTeX]
[URL]
@inproceedings{bcZAH09,
author = {Wei Zhang and Alessandro Abate and Jianghai Hu},
title = {Stabilization of DiscreteTime Switched Linear Systems: A ControlLyapunov Function Approach},
booktitle = {Proceedings of HSCC09, LNCS 5469},
publisher = {Springer Verlag},
year = {2009},
pages = {411425},
url = {./publications/bcZAH09.pdf}
}
A. Abate, A. D'Innocenzo, M. Di Benedetto and S. Sastry,
“Markov SetChains as Abstractions of Stochastic Hybrid Systems,”
in Proceedings of HSCC08, LNCS 4981,
pp. 115,
2008.
[BibTeX]
[URL]
@inproceedings{bcAIBS08,
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 = {Proceedings of HSCC08, LNCS 4981},
publisher = {Springer Verlag},
year = {2008},
pages = {115},
url = {./publications/bcAIBS08.pdf}
}
A. Abate, M. Prandini, J. Lygeros and S. Sastry,
“Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps,”
in Proceedings of HSCC08, LNCS 4981,
pp. 598601,
2008.
[BibTeX]
[URL]
@inproceedings{bcAPLS08,
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 = {Proceedings of HSCC08, LNCS 4981},
publisher = {Springer Verlag},
year = {2008},
pages = {598601},
url = {./publications/bcAPLS08.pdf}
}
A. Abate, S. Amin, M. Prandini, J. Lygeros and S. Sastry,
“Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems,”
in Proceedings of HSCC07, LNCS 4416,
pp. 417,
2007.
[BibTeX]
[URL]
@inproceedings{bcAAPLS07,
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 = {Proceedings of HSCC07, LNCS 4416},
publisher = {Springer Verlag},
year = {2007},
pages = {417},
url = {./publications/bcAAPLS07.pdf}
}
A. Abate, A. D'Innocenzo, G. Pola, M. D. Benedetto and S. Sastry,
“The Concept of Deadlock and Livelock in Hybrid Control Systems,”
in Proceedings of HSCC07, LNCS 4416,
pp. 628632,
2007.
[BibTeX]
[URL]
@inproceedings{bcAIPBS07,
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 = {Proceedings of HSCC07, LNCS 4416},
publisher = {Springer Verlag},
year = {2007},
pages = {628632},
url = {./publications/bcAIPBS07.pdf}
}
S. Amin, A. Abate, M. Prandini, J. Lygeros and S. Sastry,
“Reachability analysis for controlled discrete time stochastic hybrid systems,”
in Proceedings of HSCC06, LNCS 3927,
pp. 4963,
2006.
[BibTeX]
[URL]
@inproceedings{bcAAPLS06,
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 = {Proceedings of HSCC06, LNCS 3927},
publisher = {Springer Verlag},
year = {2006},
pages = {4963},
url = {./publications/bcAAPLS06.pdf}
}
Proceedings of International Conferences (ACM, IEEE, IFAC)
S. Haesaert, P.M.J.. V.d. Hof and A. Abate,
“Experiment Design for Formal Verification via Stochastic Optimal Control,”
in Proceedings of ECC,
2016.
[BibTeX]
[URL]
@inproceedings{cHVA16,
author = {S. Haesaert and P.M.J. V.d. Hof and A. Abate},
title = {Experiment Design for Formal Verification via Stochastic Optimal Control},
booktitle = {Proceedings of ECC},
year = {2016},
url = {./publications/cHZA16.pdf}
}
O. Holub, M. Zamani and A. Abate,
“Synthesis of formal controllers for HVAC systems,”
in Proceedings of ECC,
pp. 61596164,
2016.
[BibTeX]
[URL]
@inproceedings{cHZA16,
author = {O. Holub and M. Zamani and A. Abate},
title = {Synthesis of formal controllers for HVAC systems},
booktitle = {Proceedings of ECC},
year = {2016},
pages = {61596164},
url = {./publications/cHZA16.pdf}
}
K. Lesser and A. Abate,
“Safety Verification of Output Feedback Controllers for Nonlinear Systems,”
in Proceedings of ECC,
pp. 61596164,
2016.
[BibTeX]
[URL]
@inproceedings{cLA16,
author = {K. Lesser and A. Abate},
title = {Safety Verification of Output Feedback Controllers for Nonlinear Systems},
booktitle = {Proceedings of ECC},
year = {2016},
pages = {61596164},
url = {./publications/cLA16.pdf}
}
M. Balandat, I. Tkachev, A. Abate and C. Tomlin,
“A meanfield equilibrium for a model of interbank lending,”
in Proceedings of the 2015 American Control Conference,
pp. 17521757,
Jul
2015.
[BibTeX]
[URL]
@inproceedings{cBTAT15,
author = {M. Balandat and I. Tkachev and A. Abate and C.J. Tomlin},
title = {A meanfield equilibrium for a model of interbank lending},
booktitle = {Proceedings of the 2015 American Control Conference},
year = {2015},
pages = {17521757},
url = {./publications/cBTAT15.pdf}
}
S. Haesaert, P. Van den Hof and A. Abate,
“Datadriven Property Verification of Greybox Systems by Bayesian Experiment Design,”
in Proceedings of the 2015 American Control Conference,
pp. 18001805,
Jul
2015.
[BibTeX]
[URL]
@inproceedings{cHHA15,
author = {S. Haesaert and P. Van den Hof and A. Abate},
title = {Datadriven Property Verification of Greybox Systems by Bayesian Experiment Design},
booktitle = {Proceedings of the 2015 American Control Conference},
year = {2015},
pages = {18001805},
url = {./publications/cHHA15.pdf}
}
S. Haesaert, P.M.J.. V.d. Hof and A. Abate,
“Datadriven and Modelbased Verification: a Bayesian Identification Approach,”
in Proceedings of CDC,
pp. 68306835,
2015.
[BibTeX]
[URL]
@inproceedings{cHVA15,
author = {S. Haesaert and P.M.J. V.d. Hof and A. Abate},
title = {Datadriven and Modelbased Verification: a Bayesian Identification Approach},
booktitle = {Proceedings of CDC},
year = {2015},
pages = {68306835},
url = {./publications/cHVA15.pdf}
}
S. Haesaert, P.M.J.. V.d. Hof and A. Abate,
“Correctbydesign output feedback of LTI systems,”
in Proceedings of CDC,
pp. 61596164,
2015.
[BibTeX]
[URL]
@inproceedings{cHVA15b,
author = {S. Haesaert and P.M.J. V.d. Hof and A. Abate},
title = {Correctbydesign output feedback of LTI systems},
booktitle = {Proceedings of CDC},
year = {2015},
pages = {61596164},
url = {./publications/cHVA15b.pdf}
}
K. Lesser and A. Abate,
“Safety Verification and Controller Synthesis using Observers,”
in Proceedings of ADHS,
pp. 1382,
2015.
[BibTeX]
[URL]
@inproceedings{cLA15,
author = {K. Lesser and A. Abate},
title = {Safety Verification and Controller Synthesis using Observers},
booktitle = {Proceedings of ADHS},
year = {2015},
pages = {1382},
url = {./publications/cLA15.pdf}
}
D. Adzkiya, B. De Schutter and A. Abate,
“Backward Reachability of Autonomous MaxPlusLinear Systems,”
in Proceedings of the 12th IFACIEEE International Workshop on Discrete Event Systems,
pp. 117122,
Apr
2014.
[BibTeX]
[URL]
@inproceedings{cDDSA14,
author = {D. Adzkiya and B. De Schutter and A. Abate},
title = {Backward Reachability of Autonomous MaxPlusLinear Systems},
booktitle = {Proceedings of the 12th IFACIEEE International Workshop on Discrete Event Systems},
year = {2014},
pages = {117122},
url = {./publications/cDDSA14.pdf}
}
I. Tkachev and A. Abate,
“On approximation metrics for linear temporal modelchecking of stochastic systems,”
in Proceedings of the 17th ACM international conference on Hybrid Systems: computation and control,
pp. 193203,
Apr
2014.
[BibTeX]
[URL]
@inproceedings{cTA14,
author = {I. Tkachev and A. Abate},
title = {On approximation metrics for linear temporal modelchecking of stochastic systems},
booktitle = {Proceedings of the 17th ACM international conference on Hybrid Systems: computation and control},
year = {2014},
pages = {193203},
url = {./publications/cTA14.pdf}
}
M. Zamani and A. Abate,
“Symbolic Models for Randomly Switched Stochastic Systems,”
in Proceedings of the 2014 American Control Conference,
pp. 22912296,
Jun
2014.
[BibTeX]
[URL]
@inproceedings{cZA14,
author = {M. Zamani and A. Abate},
title = {Symbolic Models for Randomly Switched Stochastic Systems},
booktitle = {Proceedings of the 2014 American Control Conference},
year = {2014},
pages = {22912296},
url = {./publications/cZA14.pdf}
}
M. Zamani, M. Mazo and A. Abate,
“Finite Abstractions of Networked Control Systems,”
in Proceedings of the 53rd IEEE Conference on Decision and Control,
pp. 95100,
Dec
2014.
[BibTeX]
[URL]
@inproceedings{cZMA14,
author = {M. Zamani and M. Mazo and A. Abate},
title = {Finite Abstractions of Networked Control Systems},
booktitle = {Proceedings of the 53rd IEEE Conference on Decision and Control},
year = {2014},
pages = {95100},
url = {./publications/cZMA14.pdf}
}
M. Zamani, I. Tkachev and A. Abate,
“Bisimilar symbolic models for stochastic control systems without statespace discretization,”
in Proceedings of the 17th ACM international conference on Hybrid Systems: computation and control,
pp. 4151,
Apr
2014.
[BibTeX]
[URL]
@inproceedings{cZTA14,
author = {M. Zamani and I. Tkachev and A. Abate},
title = {Bisimilar symbolic models for stochastic control systems without statespace discretization},
booktitle = {Proceedings of the 17th ACM international conference on Hybrid Systems: computation and control},
year = {2014},
pages = {4151},
url = {./publications/cZTA14.pdf}
}
D. Adzkiya, B. De Schutter and A. Abate,
“Finite Abstractions of Nonautonomous MaxPlusLinear Systems,”
in Proceedings of the 2013 American Control Conference,
pp. 43874392,
Jun
2013.
[BibTeX]
[URL]
@inproceedings{cADSA13,
author = {D. Adzkiya and B. De Schutter and A. Abate},
title = {Finite Abstractions of Nonautonomous MaxPlusLinear Systems},
booktitle = {Proceedings of the 2013 American Control Conference},
year = {2013},
pages = {43874392},
url = {./publications/cADSA13.pdf}
}
J. Ding, A. Abate and C. Tomlin,
“Optimal Control of Partially Observable Discrete Time Stochastic Hybrid Systems for Safety Specifications,”
in Proceedings of the 2013 American Control Conference,
pp. 62316236,
Jun
2013.
[BibTeX]
[URL]
@inproceedings{cDAT13,
author = {J. Ding and A. Abate and C. Tomlin},
title = {Optimal Control of Partially Observable Discrete Time Stochastic Hybrid Systems for Safety Specifications},
booktitle = {Proceedings of the 2013 American Control Conference},
year = {2013},
pages = {62316236},
url = {./publications/cDAT13.pdf}
}
M. Kamgarpour, C. Ellen, S. Esmaeil Zadeh Soudjani, S. Gerwinn, J. Mathieu, N. Müllner, A. Abate, D. Callaway, M. Fränzle and J. Lygeros,
“Modeling Options for Demand Side Participation of Thermostatically Controlled Loads,”
in IREP,
pp. 115,
Aug
2013.
[BibTeX]
[URL]
@inproceedings{cKESGMMACFL13,
author = {M. Kamgarpour and C. Ellen and S. Esmaeil Zadeh Soudjani and S. Gerwinn and J.L. Mathieu and N. Müllner and A. Abate and D.S. Callaway and M. Fränzle and J. Lygeros},
title = {Modeling Options for Demand Side Participation of Thermostatically Controlled Loads},
booktitle = {IREP},
year = {2013},
pages = {115},
url = {./publications/cKESGMMACFL13.pdf}
}
S. Esmaeil Zadeh Soudjani and A. Abate,
“Aggregation of Thermostatically Controlled Loads by Formal Abstractions,”
in Proceedings of the 2013 European Control Conference,
pp. 42324237,
Jul
2013.
[BibTeX]
[URL]
@inproceedings{cSA13,
author = {S. Esmaeil Zadeh Soudjani and A. Abate},
title = {Aggregation of Thermostatically Controlled Loads by Formal Abstractions},
booktitle = {Proceedings of the 2013 European Control Conference},
year = {2013},
pages = {42324237},
url = {./publications/cSA13.pdf}
}
I. Tkachev and A. Abate,
“Formulafree finite abstractions for linear temporal verification of Stochastic Hybrid Systems,”
in Proceedings of the 16th ACM international conference on Hybrid Systems: computation and control,
pp. pp. 283292,
Apr
2013.
[BibTeX]
[URL]
@inproceedings{cTA13,
author = {I. Tkachev and A. Abate},
title = {Formulafree finite abstractions for linear temporal verification of Stochastic Hybrid Systems},
booktitle = {Proceedings of the 16th ACM international conference on Hybrid Systems: computation and control},
year = {2013},
pages = {pp. 283292},
url = {./publications/cTA13.pdf}
}
I. Tkachev and A. Abate,
“A control Lyapunov function approach for the computation of the infinitehorizon stochastic reachavoid problem,”
in Proceedings of the 52nd IEEE Conference on Decision and Control,
pp. 32113216,
Dec
2013.
[BibTeX]
[URL]
@inproceedings{cTA13b,
author = {I. Tkachev and A. Abate},
title = {A control Lyapunov function approach for the computation of the infinitehorizon stochastic reachavoid problem},
booktitle = {Proceedings of the 52nd IEEE Conference on Decision and Control},
year = {2013},
pages = {32113216},
url = {./publications/cTA13b.pdf}
}
I. Tkachev, A. Mereacre, J.P.. Katoen and A. Abate,
“Quantitative Automatabased Controller Synthesis for NonAutonomous Stochastic Hybrid Systems,”
in Proceedings of the 16th ACM international conference on Hybrid Systems: computation and control,
pp. 293302,
Apr
2013.
[BibTeX]
[URL]
@inproceedings{cTMKA13,
author = {I. Tkachev and A. Mereacre and J.P. Katoen and A. Abate},
title = {Quantitative Automatabased Controller Synthesis for NonAutonomous Stochastic Hybrid Systems},
booktitle = {Proceedings of the 16th ACM international conference on Hybrid Systems: computation and control},
year = {2013},
pages = {293302},
url = {./publications/cTMKA13.pdf}
}
M. Zamani, P. Mohajerin Esfahani, A. Abate and J. Lygeros,
“Symbolic models for stochastic control systems without stability assumptions,”
in Proceedings of the 2013 European Control Conference,
pp. 42574262,
Jul
2013.
[BibTeX]
[URL]
@inproceedings{cZMEAL13,
author = {M. Zamani and P. Mohajerin Esfahani and A. Abate and J. Lygeros},
title = {Symbolic models for stochastic control systems without stability assumptions},
booktitle = {Proceedings of the 2013 European Control Conference},
year = {2013},
pages = {42574262},
url = {./publications/cZMEAL13.pdf}
}
M. Zamani, P. Mohajerin Esfahani, R. Majumdar, A. Abate and J. Lygeros,
“Bisimilar finite abstractions for stochastic control systems,”
in Proceedings of the 52nd IEEE Conference on Decision and Control,
pp. 39263931,
Dec
2013.
[BibTeX]
[URL]
@inproceedings{cZMEMAL13,
author = {M. Zamani and P. Mohajerin Esfahani and R. Majumdar and A. Abate and J. Lygeros},
title = {Bisimilar finite abstractions for stochastic control systems},
booktitle = {Proceedings of the 52nd IEEE Conference on Decision and Control},
year = {2013},
pages = {39263931},
url = {./publications/cZMEMAL13.pdf}
}
D. Adzkiya, B. De Schutter and A. Abate,
“Abstraction and Verification of Autonomous MaxPlusLinear Systems,”
in Proceedings of the 2012 American Control Conference,
pp. 721726,
Jun
2012.
[BibTeX]
[URL]
@inproceedings{cADSA12,
author = {D. Adzkiya and B. De Schutter and A. Abate},
title = {Abstraction and Verification of Autonomous MaxPlusLinear Systems},
booktitle = {Proceedings of the 2012 American Control Conference},
year = {2012},
pages = {721726},
url = {./publications/cADSA12.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,
Apr
2012.
[BibTeX]
[URL]
@inproceedings{cDAK12,
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 = {./publications/cDAK12.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,
Apr
2012.
[BibTeX]
[URL]
@inproceedings{cSA12,
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 = {./publications/cSA12.pdf}
}
M. Stv relec, 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),
pp. 19,
Sep
2012.
[BibTeX]
[URL]
@inproceedings{cSMA12,
author = {M. Stv relec 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},
pages = {19},
url = {./publications/cSMA12.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,
Apr
2012.
[BibTeX]
[URL]
@inproceedings{cTA12,
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 = {./publications/cTA12.pdf}
}
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,
pp. 76527657,
Dec
2012.
[BibTeX]
[URL]
@inproceedings{cTA12b,
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},
pages = {76527657},
url = {./publications/cTA12b.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,
pp. 45194524,
Aug
2011.
[BibTeX]
[URL]
@inproceedings{cAKLP11,
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},
pages = {45194524},
url = {./publications/cAKLP11.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,
Apr
2011.
[BibTeX]
[URL]
@inproceedings{cAKM11,
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 = {./publications/cAKM11.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 2011 European Control Conference,
pp. 48614866,
Dec
2011.
[BibTeX]
[URL]
@inproceedings{cAP11,
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 2011 European Control Conference},
year = {2011},
pages = {48614866},
url = {./publications/cAP11.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 2011 European Control Conference,
pp. 61226127,
Dec
2011.
[BibTeX]
[URL]
@inproceedings{cKDSALT11,
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 2011 European Control Conference},
year = {2011},
pages = {61226127},
url = {./publications/cKDSALT11.pdf}
}
C. Rinaldi, A. D'Innocenzo, A. Abate, M. Di Benedetto and F. Santucci,
“A Framework for Modeling and Computation in Wireless Embedded Control Systems,”
in Proceedings of AICA,
Aug
2011.
[BibTeX]
@inproceedings{cRIABS11,
author = {C. Rinaldi and A. D'Innocenzo and A. Abate and M.D. Di Benedetto and F. Santucci},
title = {A Framework for Modeling and Computation in Wireless Embedded Control Systems},
booktitle = {Proceedings of AICA},
year = {2011}
}
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,
Sept
2011.
[BibTeX]
[URL]
@inproceedings{cSA11,
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 = {./publications/cSA11.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 2011 European Control Conference,
pp. 526531,
Dec
2011.
[BibTeX]
[URL]
@inproceedings{cTA11,
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 2011 European Control Conference},
year = {2011},
pages = {526531},
url = {./publications/cTA11.pdf}
}
A. Abate,
“Probabilistic Bisimulations of Switching and Resetting Diffusions,”
in Proceedings of the 49th IEEE Conference of Decision and Control,
pp. 59185923,
Dec
2010.
[BibTeX]
[URL]
@inproceedings{cA10,
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 = {./publications/cA10.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,
Dec
2010.
[BibTeX]
[URL]
@inproceedings{cBZA10,
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 = {./publications/cBZA10.pdf}
}
M. Vitus, W. Zhang, A. Abate, J. Hu and C. Tomlin,
“On Efficient Sensor Scheduling for Linear Dynamical Systems,”
in Proceedings of the 2010 American Control Conference,
pp. 48334838,
Jun
2010.
[BibTeX]
[URL]
@inproceedings{cVZAHT10,
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 2010 American Control Conference},
year = {2010},
pages = {48334838},
url = {./publications/cVZAHT10.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,
Dec
2010.
[BibTeX]
[URL]
@inproceedings{cVZAHT10b,
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 = {./publications/cVZAHT10b.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,
Dec
2010.
[BibTeX]
[URL]
@inproceedings{cZVHAT10,
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 = {./publications/cZVHAT10.pdf}
}
A. Abate,
“A Contractivity Approach for Probabilistic Bisimulations of Diffusion Processes,”
in Proceedings of the 48th IEEE Conference of Decision and Control,
pp. 22302235,
Dec
2009.
[BibTeX]
[URL]
@inproceedings{cA09,
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},
pages = {22302235},
url = {./publications/cA09.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,
Feb
2009.
[BibTeX]
[URL]
@inproceedings{cSCA09,
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 = {./publications/cSCA09.pdf}
}
W. Zhang, A. Abate and J. Hu,
“Efficient Suboptimal Solutions of Stitched LQR Problems,”
in Proceedings of the 2009 American Control Conference,
pp. 10841091,
Jun
2009.
[BibTeX]
[URL]
@inproceedings{cZAH09,
author = {W. Zhang and A. Abate and J. Hu},
title = {Efficient Suboptimal Solutions of Stitched LQR Problems},
booktitle = {Proceedings of the 2009 American Control Conference},
year = {2009},
pages = {10841091},
url = {./publications/cZAH09.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,
pp. 10881093,
Dec
2009.
[BibTeX]
[URL]
@inproceedings{cZAVH09,
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},
pages = {10881093},
url = {./publications/cZAVH09.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,
Dec
2008.
[BibTeX]
[URL]
@inproceedings{cAPLS08,
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 = {./publications/cAPLS08.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,
Dec
2008.
[BibTeX]
[URL]
@inproceedings{cIABS08,
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},
url = {./publications/cIABS08.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 Proceedings of the 46th IEEE Conference on Decision and Control,
pp. 40334038,
Dec
2007.
[BibTeX]
[URL]
@inproceedings{cAAS07,
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 = {Proceedings of the 46th IEEE Conference on Decision and Control},
year = {2007},
pages = {40334038},
url = {./publications/cAAS07.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,
Oct
2007.
[BibTeX]
[URL]
@inproceedings{cABSTT07,
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 = {./publications/cABSTT07.pdf}
}
A. Abate, J. Lygeros and S. Sastry,
“Probabilistic Safety and Optimal Control for Survival Analysis of it Bacillus Subtilis,”
in Proceedings of the 2nd Conference on Foundations of Systems Biology in Engineering (FOSBE07),
pp. 527532,
Sep
2007.
[BibTeX]
[URL]
@inproceedings{cALS07,
author = {A. Abate and J. Lygeros and S. Sastry},
title = {Probabilistic Safety and Optimal Control for Survival Analysis of it Bacillus Subtilis},
booktitle = {Proceedings of the 2nd Conference on Foundations of Systems Biology in Engineering (FOSBE07)},
year = {2007},
pages = {527532},
url = {./publications/cALS07.pdf}
}
A. Abate, A. Tiwari and S. Sastry,
“The concept of Box Invariance for biologicallyinspired dynamical systems,”
in Proceedings of the 46th IEEE Conference on Decision and Control,
pp. 51625167,
Dec
2007.
[BibTeX]
[URL]
@inproceedings{cATS07,
author = {A. Abate and A. Tiwari and S. Sastry},
title = {The concept of Box Invariance for biologicallyinspired dynamical systems},
booktitle = {Proceedings of the 46th IEEE Conference on Decision and Control},
year = {2007},
pages = {51625167},
url = {./publications/cATS07.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,
Dec
2006.
[BibTeX]
[URL]
@inproceedings{cAAPLS06,
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 = {./publications/cAAPLS06.pdf}
}
A. Abate, A. Ames and S. Sastry,
“Error bounds based stochastic approximations and simulations of hybrid dynamical systems,”
in Proceedings of the 2006 American Control Conference,
pp. 47424747,
Jun
2006.
[BibTeX]
[URL]
@inproceedings{cAAS06,
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 2006 American Control Conference},
year = {2006},
pages = {47424747},
url = {./publications/cAAS06.pdf}
}
A. Abate, A. Ames and S. Sastry,
“APriori Detection of Zeno Behavior in Communication Networks Modeled as Hybrid Systems,”
in Proceedings of the 2006 American Control Conference,
pp. 15641569,
Jun
2006.
[BibTeX]
[URL]
@inproceedings{cAAS06b,
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 2006 American Control Conference},
year = {2006},
pages = {15641569},
url = {./publications/cAAS06b.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,
Jul
2006.
[BibTeX]
[URL]
@inproceedings{cACS06,
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 = {./publications/cACS06.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,
Jun
2006.
[BibTeX]
[URL]
@inproceedings{cAT06,
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 = {./publications/cAT06.pdf}
}
A. Abate, A. Ames and S. Sastry,
“Stochastic Approximations of Hybrid Systems,”
in Proceedings of the 2005 American Control Conference,
pp. 15571562,
Jun
2005.
[BibTeX]
[URL]
@inproceedings{cAAS05,
author = {A. Abate and A. Ames and S. Sastry},
title = {Stochastic Approximations of Hybrid Systems},
booktitle = {Proceedings of the 2005 American Control Conference},
year = {2005},
pages = {15571562},
url = {./publications/cAAS05.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 2005 European Control Conference,
pp. 696701,
Dec
2005.
[BibTeX]
[URL]
@inproceedings{cAAS05b,
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 2005 European Control Conference},
year = {2005},
pages = {696701},
url = {./publications/cAAS05b.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,
Jul
2005.
[BibTeX]
[URL]
@inproceedings{cACS05,
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 = {./publications/cACS05.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,
Jul
2005.
[BibTeX]
[URL]
@inproceedings{cCAS05,
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 = {./publications/cCAS05.pdf}
}
A. Abate and L. El Ghaoui,
“Robust Model Predictive Control through Adjustable Variables: An Application to Path Planning,”
in Proceedings of the 43rd IEEE Conference on Decision and Control,
pp. 24852490,
Dec
2004.
[BibTeX]
[URL]
@inproceedings{cAE04,
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},
pages = {24852490},
url = {./publications/cAE04.pdf}
}
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,
Jul
2004.
[BibTeX]
[URL]
@inproceedings{cASSS04,
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 = {./publications/cASSS04.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,
pp. 18421847,
Dec
2004.
[BibTeX]
[URL]
@inproceedings{cSAS04,
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},
pages = {18421847},
url = {./publications/cSAS04.pdf}
}
Theses
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 = {./publications/AA07.pdf}
}
A. Abate,
“Analysis of Stochastic Hybrid Systems,”
May
2004.
[BibTeX]
@mastersthesis{A04,
author = {A. 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,”
Oct
2002.
[BibTeX]
[URL]
@mastersthesis{A02,
author = {A. Abate},
title = {Nonlinear, Predictive Control for a Nonholonomic, Nonminimum Phase System},
school = {DEI, Università degli Studi di Padova},
year = {2002},
url = {./publications/AA02.pdf}
}
