Alessandro Abate - Selected Publications

My Google scholar page

My DBLP entry

My Scopus author page (requires registration)

Selected recent work is available on my arXiv page

Edited Books

  1. “Hybrid Systems: Computation and Control,” 2016. 310 pages.
    [BibTeX]

    @proceedings{AF16,,
      title = {Hybrid Systems: Computation and Control},
      publisher = {ACM},
      year = {2016},
      note = {310 pages}
    }
    
  2. “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

  1. S. Haesaert, P.M.J.. V.d. Hof and A. Abate, “Data-driven and Model-based 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 = {Data-driven and Model-based Verification via Bayesian Identification and Reachability Analysis},
      journal = {Automatica},
      year = {2017},
      url = {./publications/HVA17.pdf}
    }
    
  2. 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}
    }
    
  3. D. Adzkiya, Y. Zhang and A. Abate, “VeriSiMPL 2: An Open-Source Software for the Verification of Max-Plus-Linear Systems,” Discrete Events Dynamical Systems, vol. 26, no. 1, pp. 109-145, 2016.
    [BibTeX] [URL]

    @article{AZA15,
      author = {D. Adzkiya and Y. Zhang and A. Abate},
      title = {VeriSiMPL 2: An Open-Source Software for the Verification of Max-Plus-Linear Systems},
      journal = {Discrete Events Dynamical Systems},
      year = {2016},
      volume = {26},
      number = {1},
      pages = {109-145},
      url = {./publications/AYA15.pdf}
    }
    
  4. S. Esmaeil Zadeh Soudjani, D. Adzkiya and A. Abate, “Formal Verification of Stochastic Max-Plus-Linear 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 Max-Plus-Linear Systems},
      journal = {IEEE Transactions on Automatic Control},
      year = {2016},
      volume = {61},
      number = {10},
      pages = {2861 - 2876},
      url = {./publications/SAA16.pdf}
    }
    
  5. 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}
    }
    
  6. I. Tkachev, A. Mereacre, J.-P.. Katoen and A. Abate, “Quantitative Model Checking of Controlled Discrete-Time 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 Discrete-Time Markov Processes},
      journal = {Information and Computation},
      year = {2016},
      url = {./publications/TMKA16.pdf}
    }
    
  7. D. Adzkiya, B. De Schutter and A. Abate, “Computational Techniques for Reachability Analysis of Max-Plus-Linear Systems,” Automatica, vol. 53, no. 3, pp. 293-302, Mar 2015.
    [BibTeX] [URL]

    @article{ADSA15,
      author = {D. Adzkiya and B. De Schutter and A. Abate},
      title = {Computational Techniques for Reachability Analysis of Max-Plus-Linear Systems},
      journal = {Automatica},
      year = {2015},
      volume = {53},
      number = {3},
      pages = {293--302},
      url = {./publications/ADSA15.pdf}
    }
    
  8. 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. 975-990, 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 = {975--990},
      url = {./publications/SA15.pdf}
    }
    
  9. 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}
    }
    
  10. M. Zamani, A. Abate and A. Girard, “Symbolic Models for Stochastic Switched Systems: A Discretization and a Discretization-Free Approach,” Automatica, vol. 55, no. 5, pp. 183-196, 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 Discretization-Free Approach},
      journal = {Automatica},
      year = {2015},
      volume = {55},
      number = {5},
      pages = {183--196},
      url = {./publications/ZGA15.pdf}
    }
    
  11. A. Abate, “Approximation Metrics based on Probabilistic Bisimulations for General State-Space Markov Processes: a Survey,” Electronic Notes in Theoretical Computer Sciences, vol. 297, pp. 3-25, 2014.
    [BibTeX] [URL]

    @article{A14,
      author = {A. Abate},
      title = {Approximation Metrics based on Probabilistic Bisimulations for General State-Space Markov Processes: a Survey},
      journal = {Electronic Notes in Theoretical Computer Sciences},
      year = {2014},
      volume = {297},
      pages = {3--25},
      url = {./publications/A14.pdf}
    }
    
  12. 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. 1-8, 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 = {1--8},
      url = {./publications/ART14.pdf}
    }
    
  13. 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. 372-385, 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 = {372--385},
      url = {./publications/dJBHvGAW14.pdf}
    }
    
  14. I. Tkachev and A. Abate, “Characterization and computation of infinite horizon specifications over Markov processes,” Theoretical Computer Science, vol. 515, pp. 1-18, 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 = {1--18},
      url = {./publications/TA14.pdf}
    }
    
  15. M. Zamani and A. Abate, “Symbolic Models for Randomly Switched Stochastic Systems,” Systems & Control Letters, vol. 69, pp. 38-46, 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 = {38--46},
      url = {./publications/ZA14.pdf}
    }
    
  16. 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. 2825-2830, 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 = {2825--2830},
      url = {./publications/ZMMAL14.pdf}
    }
    
  17. L. Zhao, W. Zhang, J. Hu, A. Abate and C. Tomlin, “On the Optimal Solutions of the Infinite-Horizon Linear Sensor Scheduling Problem,” IEEE Transactions on Automatic Control, vol. 59, no. 10, pp. 2825-2830, 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 Infinite-Horizon Linear Sensor Scheduling Problem},
      journal = {IEEE Transactions on Automatic Control},
      year = {2014},
      volume = {59},
      number = {10},
      pages = {2825--2830},
      url = {./publications/ZZHAT14.pdf}
    }
    
  18. 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. 208-228, 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 = {208--228},
      url = {./publications/ACWZS13.pdf}
    }
    
  19. J. Ding, M. Kamgarpour, S. Summers, A. Abate, J. Lygeros and C. Tomlin, “A stochastic games framework for verification and control of discrete-time stochastic hybrid systems,” Automatica, vol. 49, no. 9, pp. 2665-2674, 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 discrete-time stochastic hybrid systems},
      journal = {Automatica},
      year = {2013},
      volume = {49},
      number = {9},
      pages = {2665--2674},
      url = {./publications/DKSALT13.pdf}
    }
    
  20. S. Esmaeil Zadeh Soudjani and A. Abate, “Probabilistic Reach-Avoid Computation for Partially-Degenerate Stochastic Processes,” IEEE Transactions on Automatic Control, vol. 58, no. 12, pp. 528-534, Dec 2013.
    [BibTeX] [URL]

    @article{SA13b,
      author = {S. Esmaeil Zadeh Soudjani and A. Abate},
      title = {Probabilistic Reach-Avoid Computation for Partially-Degenerate Stochastic Processes},
      journal = {IEEE Transactions on Automatic Control},
      year = {2013},
      volume = {58},
      number = {12},
      pages = {528--534},
      url = {./publications/SA13b.pdf}
    }
    
  21. K. Staňková, A. Abate and M. Sabelis, “Irreversible prey diapause as an optimal strategy of a physiologically extended Lotka-Volterra model,” Journal of Mathematical Biology, vol. 66, no. 4, pp. 767-794, 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 Lotka-Volterra model},
      journal = {Journal of Mathematical Biology},
      year = {2013},
      volume = {66},
      number = {4},
      pages = {767--794},
      url = {./publications/SAS13.pdf}
    }
    
  22. K. Staňková, A. Abate and M. Sabelis, “Intra-seasonal Strategies Based on Energy Budgets in a Dynamic Predator-Prey Game,” Advances in Dynamic Games -- Annals of the International Society of Dynamic Games, vol. 13, pp. 205-222, 2013.
    [BibTeX] [URL]

    @article{SAS13b,
      author = {K. Staňková and A. Abate and M.W. Sabelis},
      title = {Intra-seasonal Strategies Based on Energy Budgets in a Dynamic Predator-Prey Game},
      journal = {Advances in Dynamic Games -- Annals of the International Society of Dynamic Games},
      year = {2013},
      volume = {13},
      pages = {205--222},
      url = {./publications/SAS13b.pdf}
    }
    
  23. K. Staňková, A. Abate and M. Sabelis, “Joining or opting out of a Lotka-Volterra 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. 1-11, Dec 2013.
    [BibTeX] [URL]

    @article{SAS13c,
      author = {K. Staňková and A. Abate and M.W. Sabelis},
      title = {Joining or opting out of a Lotka-Volterra 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 = {1--11},
      url = {./publications/SAS13c.pdf}
    }
    
  24. D. Adzkiya, B. De Schutter and A. Abate, “Finite Bisimulations of Max-Plus-Linear Systems,” IEEE Transactions on Automatic Control, vol. 58, no. 12, pp. 3039-3054, Dec 2012.
    [BibTeX] [URL]

    @article{ADSA13,
      author = {D. Adzkiya and B. De Schutter and A. Abate},
      title = {Finite Bisimulations of Max-Plus-Linear Systems},
      journal = {IEEE Transactions on Automatic Control},
      year = {2012},
      volume = {58},
      number = {12},
      pages = {3039--3054},
      url = {./publications/ADSA13.pdf}
    }
    
  25. A. Abate, R. Hillen and S. Wahl, “Piecewise Affine Approximation of fluxes and enzyme kinetics from in-vivo $^13$C labeling experiments,” International Journal of Robust and Nonlinear Control, vol. 22, no. 10, pp. 1120-1139, 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 in-vivo $^13$C labeling experiments},
      journal = {International Journal of Robust and Nonlinear Control},
      year = {2012},
      volume = {22},
      number = {10},
      pages = {1120--1139},
      note = {Special Issue on System Identification for Biological Systems},
      url = {./publications/AHW12.pdf}
    }
    
  26. 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. 1607-1620, 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 = {1607--1620},
      url = {./publications/AVDSMAT12.pdf}
    }
    
  27. 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. 1-13, 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 = {1--13},
      url = {./publications/BSBVAW12.pdf}
    }
    
  28. M. Balandat, W. Zhang and A. Abate, “Infinite Horizon Constrained Switched LQR Problem,” Systems and Control Letters, vol. 61, no. 4, pp. 464-471, 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 = {464--471},
      url = {./publications/BZA12.pdf}
    }
    
  29. 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. 921-956, 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 = {921--956},
      url = {./publications/SA13.pdf}
    }
    
  30. 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. 2482-2493, 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 = {2482--2493},
      url = {./publications/VZAHT12.pdf}
    }
    
  31. 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. 1825-1821, 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 = {1825--1821},
      url = {./publications/ZHA12.pdf}
    }
    
  32. 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. 2688-2694, 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 = {2688--2694},
      url = {./publications/AIB11.pdf}
    }
    
  33. A. Silletti, A. Abate, J. Axelrod and C. Tomlin, “Versatile Spectral Methods for Point Set Matching,” Pattern Recognition Letters, vol. 32, pp. 731-739, 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 = {731--739},
      url = {./publications/SAAT11.pdf}
    }
    
  34. 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. 624-641, 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 = {624--641},
      url = {./publications/AKLP10.pdf}
    }
    
  35. 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. 79-85, 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 = {79--85},
      url = {./publications/ALS10.pdf}
    }
    
  36. 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. 150-162, 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 = {150--162},
      url = {./publications/AIBS09.pdf}
    }
    
  37. A. Abate, A. Tiwari and S. Sastry, “Box Invariance in biologically-inspired dynamical systems,” Automatica, vol. 45, no. 7, pp. 1601-1610, Jul 2009.
    [BibTeX] [URL]

    @article{ATS09,
      author = {A. Abate and A. Tiwari and S. Sastry},
      title = {Box Invariance in biologically-inspired dynamical systems},
      journal = {Automatica},
      year = {2009},
      volume = {45},
      number = {7},
      pages = {1601--1610},
      url = {./publications/ATS09.pdf}
    }
    
  38. W. Zhang, J. Hu and A. Abate, “On the Value Function of the Discrete-Time Switched LQR Problem,” IEEE Transactions on Automatic Control, vol. 54, no. 11, pp. 2669-2674, Nov 2009.
    [BibTeX] [URL]

    @article{ZAH09,
      author = {W. Zhang and J. Hu and A. Abate},
      title = {On the Value Function of the Discrete-Time Switched LQR Problem},
      journal = {IEEE Transactions on Automatic Control},
      year = {2009},
      volume = {54},
      number = {11},
      pages = {2669--2674},
      url = {./publications/ZAH08.pdf}
    }
    
  39. W. Zhang, A. Abate, J. Hu and M. Vitus, “Exponential Stabilization of Discrete-Time Switched Linear Systems,” Automatica, vol. 45, no. 11, pp. 2526-2536, Nov 2009.
    [BibTeX] [URL]

    @article{ZAHV09,
      author = {W. Zhang and A. Abate and J. Hu and M. Vitus},
      title = {Exponential Stabilization of Discrete-Time Switched Linear Systems},
      journal = {Automatica},
      year = {2009},
      volume = {45},
      number = {11},
      pages = {2526--2536},
      url = {./publications/ZAHV09.pdf}
    }
    
  40. 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. 2724-2734, 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 = {2724--2734},
      url = {./publications/APLS08.pdf}
    }
    
  41. R. Boscolo-Berto, 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. 19-25, Jan 2008.
    [BibTeX] [URL]

    @article{BBDMAATP08,
      author = {R. Boscolo-Berto 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 = {19--25},
      url = {./publications/BBDMAATP08.pdf}
    }
    
  42. 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. 18800-18805, 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 = {18800--18805},
      url = {./publications/MARATA08.pdf}
    }
    
  43. 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. 157-160, 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 = {157--160},
      url = {./publications/ADMLAGBP06.pdf}
    }
    

Proceedings as book chapters (Springer’s LNCS and LNBI, Dagstuhl’s LIPICS)

  1. 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}
    }
    
  2. 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. 13-31, 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 = {13--31},
      url = {./publications/bcACK16.pdf}
    }
    
  3. 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. 227-243, 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 = {227--243},
      url = {./publications/bcHAV16.pdf}
    }
    
  4. E. Polgreen, V. Wijesuriya, S. Haesert and A. Abate, “Data-efficient Bayesian verification of parametric Markov chains,” in Proceedings of QEST16, LNCS 9826, pp. 35-51, 2016.
    [BibTeX] [URL]

    @inproceedings{bcPVHA16,
      author = {E. Polgreen and V. Wijesuriya and S. Haesert and A. Abate},
      title = {Data-efficient Bayesian verification of parametric Markov chains},
      booktitle = {Proceedings of QEST16, LNCS 9826},
      year = {2016},
      pages = {35--51},
      url = {./publications/bcPVHA16.pdf}
    }
    
  5. S. Soudjani, R. Majumdar and A. Abate, “Safety Verification of Continuous-Space Pure Jump Markov Processes,” in Proceedings of TACAS16, LNCS 9636, pp. 147-163, 2016.
    [BibTeX] [URL]

    @inproceedings{bcSMA16,
      author = {S.E.Z. Soudjani and R. Majumdar and A. Abate},
      title = {Safety Verification of Continuous-Space Pure Jump Markov Processes},
      booktitle = {Proceedings of TACAS16, LNCS 9636},
      year = {2016},
      pages = {147-163},
      url = {./publications/bcSMA16.pdf}
    }
    
  6. 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. 195-213, 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 = {195-213},
      url = {./publications/bcABCK15.pdf}
    }
    
  7. D. Cattaruzza, A. Abate, P. Schrammel and D. Kroening, “Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration,” in Proceedings of SAS15, LNCS 9291, pp. 312-331, 2015.
    [BibTeX] [URL]

    @inproceedings{bcCASK15,
      author = {D. Cattaruzza and A. Abate and P. Schrammel and D. Kroening},
      title = {Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration},
      booktitle = {Proceedings of SAS15, LNCS 9291},
      publisher = {Springer Verlag},
      year = {2015},
      pages = {312-331},
      url = {./publications/bcCASK15.pdf}
    }
    
  8. M. Fränzle, S. Gerwinn, P. Kröger, A. Abate and J.-P. Katoen, “Multi-Objective Parameter Synthesis in Probabilistic Hybrid Systems,” in Proceedings of FORMATS15, LNCS 9268, pp. 93-107, 2015.
    [BibTeX] [URL]

    @inproceedings{bcFGKAK15,
      author = {M. Fränzle and S. Gerwinn and P. Kröger and A. Abate and J.-P. Katoen},
      title = {Multi-Objective Parameter Synthesis in Probabilistic Hybrid Systems},
      booktitle = {Proceedings of FORMATS15, LNCS 9268},
      publisher = {Springer Verlag},
      year = {2015},
      pages = {93-107},
      url = {./publications/bcFGKAK15.pdf}
    }
    
  9. S. Esmaeil Zadeh Soudjani, C. Gevaerts and A. Abate, “FAUST$^2$: Formal Abstractions of Uncountable-STate STochastic processes,” in Proceedings of TACAS15, LNCS 9035, pp. 272-286, 2015.
    [BibTeX] [URL]

    @inproceedings{bcSA15,
      author = {S. Esmaeil Zadeh Soudjani and C. Gevaerts and A. Abate},
      title = {FAUST$^2$: Formal Abstractions of Uncountable-STate STochastic processes},
      booktitle = {Proceedings of TACAS15, LNCS 9035},
      publisher = {Springer Verlag},
      year = {2015},
      pages = {272--286},
      url = {./publications/bcSA15.pdf}
    }
    
  10. 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. 169-183, 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 = {169-183},
      url = {./publications/bcSAM15.pdf}
    }
    
  11. D. Adzkiya, B. De Schutter and A. Abate, “Forward Reachability Computation for Autonomous Max-Plus-Linear Systems,” in Proceedings of TACAS14, LNCS 8413, pp. 248-262, 2014.
    [BibTeX] [URL]

    @inproceedings{bcADSA14,
      author = {D. Adzkiya and B. De Schutter and A. Abate},
      title = {Forward Reachability Computation for Autonomous Max-Plus-Linear Systems},
      booktitle = {Proceedings of TACAS14, LNCS 8413},
      publisher = {Springer Verlag},
      year = {2014},
      pages = {248--262},
      url = {./publications/bcADSA14.pdf}
    }
    
  12. 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. 40-58, 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 = {40--58},
      url = {./publications/bcAKNP14.pdf}
    }
    
  13. L. Maruthi, I. Tkachev, A. Carta, E. Cinquemani, P. Hersen, G. Batt and A. Abate, “Towards real-time control of gene expression at the single cell level: a stochastic control approach,” in Proceedings of CMSB14, LNBI 8859, pp. 155-172, 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 real-time 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 = {155--172},
      url = {./publications/bcMTCCHBA14.pdf}
    }
    
  14. 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. 547-561, 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 = {547--561},
      url = {./publications/bcSA14.pdf}
    }
    
  15. S. Esmaeil Zadeh Soudjani, D. Adzkiya and A. Abate, “Finite Abstractions of Stochastic Max-Plus-Linear Systems,” in Proceedings of QEST14, LNCS 8657, pp. 57-73, 2014.
    [BibTeX] [URL]

    @inproceedings{bcSAA14,
      author = {S. Esmaeil Zadeh Soudjani and D. Adzkiya and A. Abate},
      title = {Finite Abstractions of Stochastic Max-Plus-Linear Systems},
      booktitle = {Proceedings of QEST14, LNCS 8657},
      publisher = {Springer Verlag},
      year = {2014},
      pages = {57--73},
      url = {./publications/bcSAA14.pdf}
    }
    
  16. 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. 74-89, 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 = {74--89},
      url = {./publications/bcSGEFA14.pdf}
    }
    
  17. D. Adzkiya and A. Abate, “VeriSiMPL: Verification via biSimulations of MPL models,” in Proceedings of QEST13, LNCS 8054, pp. 274-277, 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 = {274--277},
      url = {./publications/bcAA13.pdf}
    }
    
  18. M. Zamani and A. Abate, “Approximately Bisimilar Symbolic Models for Stochastic Switched Systems,” in Proceedings of QEST13, LNCS 8054, pp. 305-321, 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 = {305--321},
      url = {./publications/bcZA13.pdf}
    }
    
  19. S. Esmaeil Zadeh Soudjani and A. Abate, “Higher Order Approximations for Verification of Stochastic Hybrid Systems,” in Proceedings of ATVA12, LNCS 7561, pp. 416-434, 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 = {416--434},
      url = {./publications/bcSA12.pdf}
    }
    
  20. W. Zhang, A. Abate and J. Hu, “Stabilization of Discrete-Time Switched Linear Systems: A Control-Lyapunov Function Approach,” in Proceedings of HSCC09, LNCS 5469, pp. 411-425, 2009.
    [BibTeX] [URL]

    @inproceedings{bcZAH09,
      author = {Wei Zhang and Alessandro Abate and Jianghai Hu},
      title = {Stabilization of Discrete-Time Switched Linear Systems: A Control-Lyapunov Function Approach},
      booktitle = {Proceedings of HSCC09, LNCS 5469},
      publisher = {Springer Verlag},
      year = {2009},
      pages = {411--425},
      url = {./publications/bcZAH09.pdf}
    }
    
  21. A. Abate, A. D'Innocenzo, M. Di Benedetto and S. Sastry, “Markov Set-Chains as Abstractions of Stochastic Hybrid Systems,” in Proceedings of HSCC08, LNCS 4981, pp. 1-15, 2008.
    [BibTeX] [URL]

    @inproceedings{bcAIBS08,
      author = {A. Abate and A. D'Innocenzo and M.D. Di Benedetto and S. Sastry},
      title = {Markov Set-Chains as Abstractions of Stochastic Hybrid Systems},
      booktitle = {Proceedings of HSCC08, LNCS 4981},
      publisher = {Springer Verlag},
      year = {2008},
      pages = {1--15},
      url = {./publications/bcAIBS08.pdf}
    }
    
  22. 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. 598-601, 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 = {598--601},
      url = {./publications/bcAPLS08.pdf}
    }
    
  23. 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. 4-17, 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 = {4--17},
      url = {./publications/bcAAPLS07.pdf}
    }
    
  24. 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. 628-632, 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 = {628--632},
      url = {./publications/bcAIPBS07.pdf}
    }
    
  25. 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. 49-63, 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 = {49--63},
      url = {./publications/bcAAPLS06.pdf}
    }
    

Proceedings of International Conferences (ACM, IEEE, IFAC)

  1. 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}
    }
    
  2. O. Holub, M. Zamani and A. Abate, “Synthesis of formal controllers for HVAC systems,” in Proceedings of ECC, pp. 6159-6164, 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 = {6159-6164},
      url = {./publications/cHZA16.pdf}
    }
    
  3. K. Lesser and A. Abate, “Safety Verification of Output Feedback Controllers for Nonlinear Systems,” in Proceedings of ECC, pp. 6159-6164, 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 = {6159-6164},
      url = {./publications/cLA16.pdf}
    }
    
  4. M. Balandat, I. Tkachev, A. Abate and C. Tomlin, “A mean-field equilibrium for a model of interbank lending,” in Proceedings of the 2015 American Control Conference, pp. 1752-1757, Jul 2015.
    [BibTeX] [URL]

    @inproceedings{cBTAT15,
      author = {M. Balandat and I. Tkachev and A. Abate and C.J. Tomlin},
      title = {A mean-field equilibrium for a model of interbank lending},
      booktitle = {Proceedings of the 2015 American Control Conference},
      year = {2015},
      pages = {1752-1757},
      url = {./publications/cBTAT15.pdf}
    }
    
  5. S. Haesaert, P. Van den Hof and A. Abate, “Data-driven Property Verification of Grey-box Systems by Bayesian Experiment Design,” in Proceedings of the 2015 American Control Conference, pp. 1800-1805, Jul 2015.
    [BibTeX] [URL]

    @inproceedings{cHHA15,
      author = {S. Haesaert and P. Van den Hof and A. Abate},
      title = {Data-driven Property Verification of Grey-box Systems by Bayesian Experiment Design},
      booktitle = {Proceedings of the 2015 American Control Conference},
      year = {2015},
      pages = {1800-1805},
      url = {./publications/cHHA15.pdf}
    }
    
  6. S. Haesaert, P.M.J.. V.d. Hof and A. Abate, “Data-driven and Model-based Verification: a Bayesian Identification Approach,” in Proceedings of CDC, pp. 6830-6835, 2015.
    [BibTeX] [URL]

    @inproceedings{cHVA15,
      author = {S. Haesaert and P.M.J. V.d. Hof and A. Abate},
      title = {Data-driven and Model-based Verification: a Bayesian Identification Approach},
      booktitle = {Proceedings of CDC},
      year = {2015},
      pages = {6830-6835},
      url = {./publications/cHVA15.pdf}
    }
    
  7. S. Haesaert, P.M.J.. V.d. Hof and A. Abate, “Correct-by-design output feedback of LTI systems,” in Proceedings of CDC, pp. 6159-6164, 2015.
    [BibTeX] [URL]

    @inproceedings{cHVA15b,
      author = {S. Haesaert and P.M.J. V.d. Hof and A. Abate},
      title = {Correct-by-design output feedback of LTI systems},
      booktitle = {Proceedings of CDC},
      year = {2015},
      pages = {6159-6164},
      url = {./publications/cHVA15b.pdf}
    }
    
  8. K. Lesser and A. Abate, “Safety Verification and Controller Synthesis using Observers,” in Proceedings of ADHS, pp. 1-382, 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 = {1-382},
      url = {./publications/cLA15.pdf}
    }
    
  9. D. Adzkiya, B. De Schutter and A. Abate, “Backward Reachability of Autonomous Max-Plus-Linear Systems,” in Proceedings of the 12th IFAC-IEEE International Workshop on Discrete Event Systems, pp. 117-122, Apr 2014.
    [BibTeX] [URL]

    @inproceedings{cDDSA14,
      author = {D. Adzkiya and B. De Schutter and A. Abate},
      title = {Backward Reachability of Autonomous Max-Plus-Linear Systems},
      booktitle = {Proceedings of the 12th IFAC-IEEE International Workshop on Discrete Event Systems},
      year = {2014},
      pages = {117--122},
      url = {./publications/cDDSA14.pdf}
    }
    
  10. I. Tkachev and A. Abate, “On approximation metrics for linear temporal model-checking of stochastic systems,” in Proceedings of the 17th ACM international conference on Hybrid Systems: computation and control, pp. 193-203, Apr 2014.
    [BibTeX] [URL]

    @inproceedings{cTA14,
      author = {I. Tkachev and A. Abate},
      title = {On approximation metrics for linear temporal model-checking of stochastic systems},
      booktitle = {Proceedings of the 17th ACM international conference on Hybrid Systems: computation and control},
      year = {2014},
      pages = {193--203},
      url = {./publications/cTA14.pdf}
    }
    
  11. M. Zamani and A. Abate, “Symbolic Models for Randomly Switched Stochastic Systems,” in Proceedings of the 2014 American Control Conference, pp. 2291-2296, 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 = {2291--2296},
      url = {./publications/cZA14.pdf}
    }
    
  12. 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. 95-100, 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 = {95--100},
      url = {./publications/cZMA14.pdf}
    }
    
  13. M. Zamani, I. Tkachev and A. Abate, “Bisimilar symbolic models for stochastic control systems without state-space discretization,” in Proceedings of the 17th ACM international conference on Hybrid Systems: computation and control, pp. 41-51, Apr 2014.
    [BibTeX] [URL]

    @inproceedings{cZTA14,
      author = {M. Zamani and I. Tkachev and A. Abate},
      title = {Bisimilar symbolic models for stochastic control systems without state-space discretization},
      booktitle = {Proceedings of the 17th ACM international conference on Hybrid Systems: computation and control},
      year = {2014},
      pages = {41--51},
      url = {./publications/cZTA14.pdf}
    }
    
  14. D. Adzkiya, B. De Schutter and A. Abate, “Finite Abstractions of Nonautonomous Max-Plus-Linear Systems,” in Proceedings of the 2013 American Control Conference, pp. 4387-4392, Jun 2013.
    [BibTeX] [URL]

    @inproceedings{cADSA13,
      author = {D. Adzkiya and B. De Schutter and A. Abate},
      title = {Finite Abstractions of Nonautonomous Max-Plus-Linear Systems},
      booktitle = {Proceedings of the 2013 American Control Conference},
      year = {2013},
      pages = {4387--4392},
      url = {./publications/cADSA13.pdf}
    }
    
  15. 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. 6231-6236, 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 = {6231--6236},
      url = {./publications/cDAT13.pdf}
    }
    
  16. 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. 1-15, 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 = {1--15},
      url = {./publications/cKESGMMACFL13.pdf}
    }
    
  17. S. Esmaeil Zadeh Soudjani and A. Abate, “Aggregation of Thermostatically Controlled Loads by Formal Abstractions,” in Proceedings of the 2013 European Control Conference, pp. 4232-4237, 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 = {4232-4237},
      url = {./publications/cSA13.pdf}
    }
    
  18. I. Tkachev and A. Abate, “Formula-free 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. 283-292, Apr 2013.
    [BibTeX] [URL]

    @inproceedings{cTA13,
      author = {I. Tkachev and A. Abate},
      title = {Formula-free 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. 283--292},
      url = {./publications/cTA13.pdf}
    }
    
  19. I. Tkachev and A. Abate, “A control Lyapunov function approach for the computation of the infinite-horizon stochastic reach-avoid problem,” in Proceedings of the 52nd IEEE Conference on Decision and Control, pp. 3211-3216, Dec 2013.
    [BibTeX] [URL]

    @inproceedings{cTA13b,
      author = {I. Tkachev and A. Abate},
      title = {A control Lyapunov function approach for the computation of the infinite-horizon stochastic reach-avoid problem},
      booktitle = {Proceedings of the 52nd IEEE Conference on Decision and Control},
      year = {2013},
      pages = {3211--3216},
      url = {./publications/cTA13b.pdf}
    }
    
  20. I. Tkachev, A. Mereacre, J.-P.. Katoen and A. Abate, “Quantitative Automata-based Controller Synthesis for Non-Autonomous Stochastic Hybrid Systems,” in Proceedings of the 16th ACM international conference on Hybrid Systems: computation and control, pp. 293-302, Apr 2013.
    [BibTeX] [URL]

    @inproceedings{cTMKA13,
      author = {I. Tkachev and A. Mereacre and J.-P. Katoen and A. Abate},
      title = {Quantitative Automata-based Controller Synthesis for Non-Autonomous Stochastic Hybrid Systems},
      booktitle = {Proceedings of the 16th ACM international conference on Hybrid Systems: computation and control},
      year = {2013},
      pages = {293--302},
      url = {./publications/cTMKA13.pdf}
    }
    
  21. 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. 4257-4262, 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 = {4257-4262},
      url = {./publications/cZMEAL13.pdf}
    }
    
  22. 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. 3926-3931, 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 = {3926-3931},
      url = {./publications/cZMEMAL13.pdf}
    }
    
  23. D. Adzkiya, B. De Schutter and A. Abate, “Abstraction and Verification of Autonomous Max-Plus-Linear Systems,” in Proceedings of the 2012 American Control Conference, pp. 721-726, Jun 2012.
    [BibTeX] [URL]

    @inproceedings{cADSA12,
      author = {D. Adzkiya and B. De Schutter and A. Abate},
      title = {Abstraction and Verification of Autonomous Max-Plus-Linear Systems},
      booktitle = {Proceedings of the 2012 American Control Conference},
      year = {2012},
      pages = {721--726},
      url = {./publications/cADSA12.pdf}
    }
    
  24. 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. 275-285, 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 = {275--285},
      url = {./publications/cDAK12.pdf}
    }
    
  25. S. Esmaeil Zadeh Soudjani and A. Abate, “Probabilistic Invariance of Mixed Deterministic-Stochastic Dynamical Systems,” in Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control, pp. 207-216, Apr 2012.
    [BibTeX] [URL]

    @inproceedings{cSA12,
      author = {S. Esmaeil Zadeh Soudjani and A. Abate},
      title = {Probabilistic Invariance of Mixed Deterministic-Stochastic Dynamical Systems},
      booktitle = {Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control},
      year = {2012},
      pages = {207--216},
      url = {./publications/cSA12.pdf}
    }
    
  26. 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. 1-9, 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 = {1--9},
      url = {./publications/cSMA12.pdf}
    }
    
  27. I. Tkachev and A. Abate, “Regularization of Bellman equations for infinite-horizon probabilistic properties,” in Proceedings of the 15th ACM international conference on Hybrid Systems: computation and control, pp. 227-236, Apr 2012.
    [BibTeX] [URL]

    @inproceedings{cTA12,
      author = {I. Tkachev and A. Abate},
      title = {Regularization of Bellman equations for infinite-horizon probabilistic properties},
      booktitle = {Proceedings of the 15th ACM international conference on Hybrid Systems: computation and control},
      year = {2012},
      pages = {227--236},
      url = {./publications/cTA12.pdf}
    }
    
  28. I. Tkachev and A. Abate, “Stability and attractivity of absorbing sets for discrete-time Markov processes,” in Proceedings of the 51st IEEE Conference on Decision and Control, pp. 7652-7657, Dec 2012.
    [BibTeX] [URL]

    @inproceedings{cTA12b,
      author = {I. Tkachev and A. Abate},
      title = {Stability and attractivity of absorbing sets for discrete-time Markov processes},
      booktitle = {Proceedings of the 51st IEEE Conference on Decision and Control},
      year = {2012},
      pages = {7652--7657},
      url = {./publications/cTA12b.pdf}
    }
    
  29. A. Abate, J. Katoen, J. Lygeros and M. Prandini, “A Two-Step Scheme for Approximate Model Checking of Stochastic Hybrid Systems,” in Proceedings of the 18th IFAC World Congress, pp. 4519-4524, Aug 2011.
    [BibTeX] [URL]

    @inproceedings{cAKLP11,
      author = {A. Abate and J.P. Katoen and J. Lygeros and M. Prandini},
      title = {A Two-Step Scheme for Approximate Model Checking of Stochastic Hybrid Systems},
      booktitle = {Proceedings of the 18th IFAC World Congress},
      year = {2011},
      pages = {4519--4524},
      url = {./publications/cAKLP11.pdf}
    }
    
  30. 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. 83-92, 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 = {83--92},
      url = {./publications/cAKM11.pdf}
    }
    
  31. 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. 4861-4866, 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 = {4861--4866},
      url = {./publications/cAP11.pdf}
    }
    
  32. 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. 6122-6127, 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 = {6122--6127},
      url = {./publications/cKDSALT11.pdf}
    }
    
  33. 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}
    }
    
  34. 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. 59-69, 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 = {59--69},
      url = {./publications/cSA11.pdf}
    }
    
  35. I. Tkachev and A. Abate, “On infinite-horizon probabilistic properties and stochastic bisimulation functions,” in Proceedings of the 50th IEEE Conference on Decision and Control and 2011 European Control Conference, pp. 526-531, Dec 2011.
    [BibTeX] [URL]

    @inproceedings{cTA11,
      author = {I. Tkachev and A. Abate},
      title = {On infinite-horizon 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 = {526--531},
      url = {./publications/cTA11.pdf}
    }
    
  36. A. Abate, “Probabilistic Bisimulations of Switching and Resetting Diffusions,” in Proceedings of the 49th IEEE Conference of Decision and Control, pp. 5918-5923, 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 = {5918--5923},
      url = {./publications/cA10.pdf}
    }
    
  37. 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. 2131-2136, 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 = {2131--2136},
      url = {./publications/cBZA10.pdf}
    }
    
  38. 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. 4833-4838, 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 = {4833--4838},
      url = {./publications/cVZAHT10.pdf}
    }
    
  39. 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. 1318-1323, 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 = {1318--1323},
      url = {./publications/cVZAHT10b.pdf}
    }
    
  40. W. Zhang, M. Vitus, J. Hu, A. Abate and C. Tomlin, “On the Optimal Solutions of the Infinite-Horizon Linear Sensor Scheduling Problem,” in Proceedings of the 49th IEEE Conference of Decision and Control, pp. 396-401, 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 Infinite-Horizon Linear Sensor Scheduling Problem},
      booktitle = {Proceedings of the 49th IEEE Conference of Decision and Control},
      year = {2010},
      pages = {396--401},
      url = {./publications/cZVHAT10.pdf}
    }
    
  41. A. Abate, “A Contractivity Approach for Probabilistic Bisimulations of Diffusion Processes,” in Proceedings of the 48th IEEE Conference of Decision and Control, pp. 2230-2235, 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 = {2230--2235},
      url = {./publications/cA09.pdf}
    }
    
  42. 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. 406-410, 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 = {406--410},
      url = {./publications/cSCA09.pdf}
    }
    
  43. W. Zhang, A. Abate and J. Hu, “Efficient Suboptimal Solutions of Stitched LQR Problems,” in Proceedings of the 2009 American Control Conference, pp. 1084-1091, 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 = {1084--1091},
      url = {./publications/cZAH09.pdf}
    }
    
  44. W. Zhang, A. Abate, M. Vitus and J. Hu, “On Piecewise Quadratic Control-Lyapunov Functions for Switched Linear Systems,” in Proceedings of the 48th IEEE Conference of Decision and Control, pp. 1088-1093, Dec 2009.
    [BibTeX] [URL]

    @inproceedings{cZAVH09,
      author = {W. Zhang and A. Abate and M.P. Vitus and J. Hu},
      title = {On Piecewise Quadratic Control-Lyapunov Functions for Switched Linear Systems},
      booktitle = {Proceedings of the 48th IEEE Conference of Decision and Control},
      year = {2009},
      pages = {1088--1093},
      url = {./publications/cZAVH09.pdf}
    }
    
  45. 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. 4018-4023, 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 = {4018--4023},
      url = {./publications/cAPLS08.pdf}
    }
    
  46. A. D'Innocenzo, A. Abate, M. Di Benedetto and S. Sastry, “Approximate Abstractions of Discrete-Time Controlled Stochastic Hybrid Systems,” in Proceedings of the 47th IEEE Conference of Decision and Control, pp. 221-226, 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 Discrete-Time Controlled Stochastic Hybrid Systems},
      booktitle = {Proceedings of the 47th IEEE Conference of Decision and Control},
      year = {2008},
      pages = {221--226},
      url = {./publications/cIABS08.pdf}
    }
    
  47. 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. 4033-4038, 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 = {4033--4038},
      url = {./publications/cAAS07.pdf}
    }
    
  48. 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. 922-929, 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 = {922--929},
      url = {./publications/cABSTT07.pdf}
    }
    
  49. 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. 527-532, 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 = {527--532},
      url = {./publications/cALS07.pdf}
    }
    
  50. A. Abate, A. Tiwari and S. Sastry, “The concept of Box Invariance for biologically-inspired dynamical systems,” in Proceedings of the 46th IEEE Conference on Decision and Control, pp. 5162-5167, Dec 2007.
    [BibTeX] [URL]

    @inproceedings{cATS07,
      author = {A. Abate and A. Tiwari and S. Sastry},
      title = {The concept of Box Invariance for biologically-inspired dynamical systems},
      booktitle = {Proceedings of the 46th IEEE Conference on Decision and Control},
      year = {2007},
      pages = {5162-5167},
      url = {./publications/cATS07.pdf}
    }
    
  51. 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. 258-263, 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 = {258--263},
      url = {./publications/cAAPLS06.pdf}
    }
    
  52. 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. 4742-4747, 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 = {4742--4747},
      url = {./publications/cAAS06.pdf}
    }
    
  53. A. Abate, A. Ames and S. Sastry, “A-Priori Detection of Zeno Behavior in Communication Networks Modeled as Hybrid Systems,” in Proceedings of the 2006 American Control Conference, pp. 1564-1569, Jun 2006.
    [BibTeX] [URL]

    @inproceedings{cAAS06b,
      author = {A. Abate and A. Ames and S. Sastry},
      title = {A-Priori Detection of Zeno Behavior in Communication Networks Modeled as Hybrid Systems},
      booktitle = {Proceedings of the 2006 American Control Conference},
      year = {2006},
      pages = {1564--1569},
      url = {./publications/cAAS06b.pdf}
    }
    
  54. 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. 701-708, 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 = {701--708},
      url = {./publications/cACS06.pdf}
    }
    
  55. 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. 359-364, 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 = {359--364},
      url = {./publications/cAT06.pdf}
    }
    
  56. A. Abate, A. Ames and S. Sastry, “Stochastic Approximations of Hybrid Systems,” in Proceedings of the 2005 American Control Conference, pp. 1557-1562, 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 = {1557--1562},
      url = {./publications/cAAS05.pdf}
    }
    
  57. 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. 696-701, 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 = {696--701},
      url = {./publications/cAAS05b.pdf}
    }
    
  58. 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}
    }
    
  59. 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}
    }
    
  60. 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. 2485-2490, 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 = {2485--2490},
      url = {./publications/cAE04.pdf}
    }
    
  61. 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}
    }
    
  62. 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. 1842-1847, 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 = {1842--1847},
      url = {./publications/cSAS04.pdf}
    }
    

Theses

  1. 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}
    }
    
  2. 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}
    }
    
  3. A. Abate, “Non-linear, Predictive Control for a Non-holonomic, Non-minimum Phase System,” Oct 2002.
    [BibTeX] [URL]

    @mastersthesis{A02,
      author = {A. Abate},
      title = {Non-linear, Predictive Control for a Non-holonomic, Non-minimum Phase System},
      school = {DEI, Università degli Studi di Padova},
      year = {2002},
      url = {./publications/AA02.pdf}
    }