Alessandro Abate - Selected Publications

Journal Articles

  1. A. Abate, “Approximation Metrics based on Probabilistic Bisimulations for General State-Space Markov Processes: a Survey,” Electronic Notes in Theoretical Computer Sciences, 2012. In Print.
    [BibTeX] [URL]

    @article{A12,
      author = {A. Abate},
      title = {Approximation Metrics based on Probabilistic Bisimulations for General State-Space Markov Processes: a Survey},
      journal = {Electronic Notes in Theoretical Computer Sciences},
      year = {2012},
      note = {In Print},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateENTCS12.pdf}
    }
    
  2. D. Adzkiya, B. De Schutter and A. Abate, “Finite Abstractions of Max-Plus-Linear Systems,” IEEE Transactions on Automatic Control, 2012. Under Review.
    [BibTeX]

    @article{AdSA12,
      author = {D. Adzkiya and B. De Schutter and A. Abate},
      title = {Finite Abstractions of Max-Plus-Linear Systems},
      journal = {IEEE Transactions on Automatic Control},
      year = {2012},
      note = {Under Review}
    }
    
  3. J. Ding, M. Kamgarpour, S. Summers, A. Abate, J. Lygeros and C. Tomlin, “Discrete time stochastic hybrid dynamical games: reachability and safety,” Automatica, 2012. Accepted.
    [BibTeX] [URL]

    @article{DKSALT12,
      author = {J. Ding and M. Kamgarpour and S. Summers and A. Abate and J. Lygeros and C.J. Tomlin},
      title = {Discrete time stochastic hybrid dynamical games: reachability and safety},
      journal = {Automatica},
      year = {2012},
      note = {Accepted},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/DingKamgarpurSummersAbateLygerosTomlinAUT12.pdf}
    }
    
  4. S. Esmaeil Zadeh Soudjani and A. Abate, “Adaptive and Sequential Gridding for Abstraction and Verification of Stochastic Processes,” SIAM Journal on Applied Dynamical Systems, 2012. Under Review.
    [BibTeX]

    @article{EZSA12,
      author = {S. Esmaeil Zadeh Soudjani and A. Abate},
      title = {Adaptive and Sequential Gridding for Abstraction and Verification of Stochastic Processes},
      journal = {SIAM Journal on Applied Dynamical Systems},
      year = {2012},
      note = {Under Review}
    }
    
  5. K. Stankova, A. Abate and M. Sabelis, “Irreversible prey diapause as an optimal strategy of a physiologically extended Lotka-Volterra model,” Journal of Mathematical Biology, 2012. In Print.
    [BibTeX] [URL]

    @article{SAS12,
      author = {K. Stankova and A. Abate and M.W. Sabelis},
      title = {Irreversible prey diapause as an optimal strategy of a physiologically extended Lotka-Volterra model},
      journal = {Journal of Mathematical Biology},
      year = {2012},
      note = {In Print},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/StankovaAbateSabelisJMB12.pdf}
    }
    
  6. A. Abate, R. Dobbe, S. Vincent, A. Silletti, N. Master, J. Axelrod and C. Tomlin, “A Mathematical Model to study the Dynamics of Epithelial Cellular Networks,” IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol. 9, no. 6, pp. 1607-1620, Nov 2012.
    [BibTeX] [URL]

    @article{A.AbateandR.DobbeandS.VincentandA.SillettiandN.MasterandJ.AxelrodandC.J.Tomlin2012,
      author = {A. Abate and R. Dobbe and S. Vincent and A. Silletti and N. Master and J. Axelrod and C.J. Tomlin},
      title = {A Mathematical Model to study the Dynamics of Epithelial Cellular Networks},
      journal = {IEEE/ACM Transactions on Computational Biology and Bioinformatics},
      year = {2012},
      volume = {9},
      number = {6},
      pages = {1607-1620},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateetalTCBB12.pdf}
    }
    
  7. 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, August 2012. doi:10.1016/j.automatica.2012.06.092.
    [BibTeX] [URL]

    @article{VZAHT12,
      author = {M. Vitus and W. Zhang and A. Abate and J. Hu and C.J. Tomlin},
      title = {On efficient sensor scheduling for linear dynamical systems},
      journal = {Automatica},
      year = {2012},
      volume = {48},
      number = {8},
      pages = {2482-2493},
      note = {doi:10.1016/j.automatica.2012.06.092},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/VitusZhangAbateHuTomlinAUT12.pdf}
    }
    
  8. 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, July 2012. Special Issue on System Identification for Biological Systems -- doi:10.1002/rnc.2798.
    [BibTeX] [URL]

    @article{HAW12,
      author = {A. Abate and R.C. Hillen and S.A. Wahl},
      title = {Piecewise Affine Approximation of fluxes and enzyme kinetics from 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 -- doi:10.1002/rnc.2798},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateHillenWahlRNC12.pdf}
    }
    
  9. 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, July 2012.
    [BibTeX] [URL]

    @article{ZHA12,
      author = {W. Zhang and J. Hu and A. Abate},
      title = {Infinite Horizon Switched LQR Problems in Discrete Time: A Suboptimal Algorithm With Performance Analysis},
      journal = {IEEE Transactions on Automatic Control},
      year = {2012},
      volume = {57},
      number = {7},
      pages = {1825-1821},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/ZhangHuAbateTAC12.pdf}
    }
    
  10. 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. doi:10.3791/4182.
    [BibTeX] [URL]

    @article{BSBVAW12,
      author = {E.K. Brinkman and K. Schipper and N. Bongaerts and M.J. Voges and A. Abate and A. Wahl},
      title = {A toolkit to enable hydrocarbon conversion in aqueous environments},
      journal = {Journal of Visualized Experiments},
      year = {2012},
      volume = {e4182},
      pages = {1-13},
      note = {doi:10.3791/4182},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/Brinkman_etalJoVE12.pdf}
    }
    
  11. M. Balandat, W. Zhang and A. Abate, “Infinite Horizon Constrained Switched LQR Problem,” Systems and Control Letters, vol. 61, no. 4, pp. 464-471, April 2012. doi:10.1016/j.sysconle.2012.01.011.
    [BibTeX] [URL]

    @article{BZA12,
      author = {M. Balandat and W. Zhang and A. Abate},
      title = {Infinite Horizon Constrained Switched LQR Problem},
      journal = {Systems and Control Letters},
      year = {2012},
      volume = {61},
      number = {4},
      pages = {464-471},
      note = {doi:10.1016/j.sysconle.2012.01.011},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/BalandatZhangAbateSCL12.pdf}
    }
    
  12. A. Abate, M. Chen, Y. Wang, A. Zakhor and S. Sastry, “Design and Analysis of a new Scheme for Flow Control over Wireless Networks,” International Journal of Robust and Nonlinear Control, 2011. doi:10.1002/rnc.1825.
    [BibTeX] [URL]

    @article{ACZS11,
      author = {A. Abate and M. Chen and Y. Wang and A. Zakhor and S. Sastry},
      title = {Design and Analysis of a new Scheme for Flow Control over Wireless Networks},
      journal = {International Journal of Robust and Nonlinear Control},
      year = {2011},
      note = {doi:10.1002/rnc.1825},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateChenWangZakorSastryRNC11.pdf}
    }
    
  13. 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. doi:10.1109/TAC.2011.2160595.
    [BibTeX] [URL]

    @article{AIB11,
      author = {A. Abate and A. D'Innocenzo and M.D. Di Benedetto},
      title = {Approximate Abstractions of Stochastic Hybrid systems},
      journal = {IEEE Transactions on Automatic Control},
      year = {2011},
      volume = {56},
      number = {11},
      pages = {2688-2694},
      note = {doi:10.1109/TAC.2011.2160595},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateInnocenzoDiBenedettoTAC11.pdf}
    }
    
  14. 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. doi:10.1016/j.patrec.2010.11.022.
    [BibTeX] [URL]

    @article{SAAT11,
      author = {A. Silletti and A. Abate and J. Axelrod and C. Tomlin},
      title = {Versatile Spectral Methods for Point Set Matching},
      journal = {Pattern Recognition Letters},
      year = {2011},
      volume = {32},
      pages = {731-739},
      note = {doi:10.1016/j.patrec.2010.11.022},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/SillettiAbateAxelrodTomlinPRL11.pdf}
    }
    
  15. 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. doi:10.3166/EJC.16.624-641.
    [BibTeX] [URL]

    @article{APKL10,
      author = {A. Abate and J.P. Katoen and J. Lygeros and M. Prandini},
      title = {Approximate Model Checking of Stochastic Hybrid Systems},
      journal = {European Journal of Control},
      year = {2010},
      volume = {16},
      number = {6},
      pages = {624-641},
      note = {doi:10.3166/EJC.16.624-641},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateKatoenLygerosPrandiniEJC10.pdf}
    }
    
  16. A. Abate, J. Lygeros and S. Sastry, “Probabilistic Safety and Optimal Control for Survival Analysis of Bacillus Subtilis,” Systems and Control Letters, vol. 59, no. 1, pp. 79-85, January 2010. doi:10.1016/j.sysconle.2009.12.003.
    [BibTeX] [URL]

    @article{ALS09,
      author = {A. Abate and J. Lygeros and S. Sastry},
      title = {Probabilistic Safety and Optimal Control for Survival Analysis of Bacillus Subtilis},
      journal = {Systems and Control Letters},
      year = {2010},
      volume = {59},
      number = {1},
      pages = {79-85},
      note = {doi:10.1016/j.sysconle.2009.12.003},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateLygerosSastrySCL10.pdf}
    }
    
  17. 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, November 2009. doi:10.1109/TAC.2009.2031574.
    [BibTeX] [URL]

    @article{ZAH08,
      author = {W. Zhang and J. Hu and A. Abate},
      title = {On the Value Function of the Discrete-Time Switched LQR Problem},
      journal = {IEEE Transactions on Automatic Control},
      year = {2009},
      volume = {54},
      number = {11},
      pages = {2669-2674},
      note = {doi:10.1109/TAC.2009.2031574},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/ZhangHuAbateTAC09.pdf}
    }
    
  18. 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, November 2009. doi:10.1016/j.automatica.2009.07.018.
    [BibTeX] [URL]

    @article{ZAHV09,
      author = {W. Zhang and A. Abate and J. Hu and M. Vitus},
      title = {Exponential Stabilization of Discrete-Time Switched Linear Systems},
      journal = {Automatica},
      year = {2009},
      volume = {45},
      number = {11},
      pages = {2526-2536},
      note = {doi:10.1016/j.automatica.2009.07.018},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/ZhangAbateHuVitusAUT09.pdf}
    }
    
  19. A. Abate, A. Tiwari and S. Sastry, “Box Invariance in biologically-inspired dynamical systems,” Automatica, vol. 45, no. 7, pp. 1601-1610, July 2009. doi:10.1016/j.automatica.2009.02.028.
    [BibTeX] [URL]

    @article{ATS09,
      author = {A. Abate and A. Tiwari and S. Sastry},
      title = {Box Invariance in biologically-inspired dynamical systems},
      journal = {Automatica},
      year = {2009},
      volume = {45},
      number = {7},
      pages = {1601-1610},
      note = {doi:10.1016/j.automatica.2009.02.028},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateTiwariSastryAUT09.pdf}
    }
    
  20. 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. doi:10.1016/j.nahs.2008.12.005.
    [BibTeX] [URL]

    @article{ADIDBS08,
      author = {A. Abate and A. D'Innocenzo and M.D. Di Benedetto and S. Sastry},
      title = {Understanding Deadlock and Livelock Behaviors in Hybrid Control Systems},
      journal = {Nonlinear Analysis: Hybrid Systems},
      publisher = {Elsevier},
      year = {2009},
      volume = {3},
      number = {2},
      pages = {150-162},
      note = {doi:10.1016/j.nahs.2008.12.005},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateDInnocenzoDiBenedettoSastryNAHS09.pdf}
    }
    
  21. 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, December 2008. doi:10.1073/pnas.0808868105.
    [BibTeX] [URL]

    @article{MARATA08,
      author = {D. Ma and K. Amonlirdviman and R. Raffard and A. Abate and C.J. Tomlin and J.D. Axelrod},
      title = {Cell packing influences planar cell polarity signaling},
      journal = {The Proceedings of the National Academy of Sciences},
      year = {2008},
      volume = {105},
      number = {48},
      pages = {18800-18805},
      note = {doi:10.1073/pnas.0808868105},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/Ma_etalPNAS09.pdf}
    }
    
  22. 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. doi:10.1016/j.automatica.2008.03.027.
    [BibTeX] [URL]

    @article{APLS08b,
      author = {A. Abate and M. Prandini and J. Lygeros and S. Sastry},
      title = {Probabilistic Reachability and Safety for Controlled Discrete Time Stochastic Hybrid Systems},
      journal = {Automatica},
      year = {2008},
      volume = {44},
      number = {11},
      pages = {2724-2734},
      note = {doi:10.1016/j.automatica.2008.03.027},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbatePrandiniLygerosSastryAUT08.pdf}
    }
    
  23. 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. doi:10.1159/000111724.
    [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},
      note = {doi:10.1159/000111724},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/Boscolo_etalUI08.pdf}
    }
    
  24. 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, January 2006. doi:10.1038/sj.ki.5000010.
    [BibTeX] [URL]

    @article{ADMLAGBP06,
      author = {A. Abate and F. Dal Moro and G. Lanckriet and G. Arandjelovic and P. Gasparella and P. Bassi and M. Mancini and F. Pagano},
      title = {A Novel Approach in Evaluation of Spontaneous Stone Passage: Use of Statistical Learning Methods},
      journal = {Kidney International},
      year = {2006},
      volume = {69},
      number = {1},
      pages = {157-160},
      note = {doi:10.1038/sj.ki.5000010},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/DalMoroAbateLanckrietEtAlKI06.pdf}
    }
    

Book chapters, Springer's LNCS

  1. S. Esmaeil Zadeh Soudjani and A. Abate, “Higher Order Approximations for Verification of Stochastic Hybrid Systems,” pp. 416-434, 2012.
    [BibTeX] [URL]

    @incollection{EZSA12,
      author = {S. Esmaeil Zadeh Soudjani and A. Abate},
      title = {Higher Order Approximations for Verification of Stochastic Hybrid Systems},
      booktitle = {Automated Technology for Verification and Analysis},
      publisher = {Springer Verlag},
      year = {2012},
      pages = {416--434},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/SoudjaniAbateATVA12.pdf}
    }
    
  2. W. Zhang, A. Abate and J. Hu, “Stabilization of Discrete-Time Switched Linear Systems: A Control-Lyapunov Function Approach,” pp. 411-425, 2009.
    [BibTeX] [URL]

    @incollection{ZAH09,
      author = {Wei Zhang and Alessandro Abate and Jianghai Hu},
      title = {Stabilization of Discrete-Time Switched Linear Systems: A Control-Lyapunov Function Approach},
      booktitle = {Hybrid Systems: Computation and Control},
      publisher = {Springer Verlag},
      year = {2009},
      pages = {411-425},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/ZhangAbateHuHSCC09.pdf}
    }
    
  3. A. Abate, A. D'Innocenzo, M. Di Benedetto and S. Sastry, “Markov Set-Chains as Abstractions of Stochastic Hybrid Systems,” pp. 1-15, 2008.
    [BibTeX] [URL]

    @incollection{AIBS08,
      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 = {Hybrid Systems: Computation and Control},
      publisher = {Springer Verlag},
      year = {2008},
      pages = {1-15},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateDInnocenzoDiBenedettoSastryHSCC08.pdf}
    }
    
  4. A. Abate, M. Prandini, J. Lygeros and S. Sastry, “Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps,” pp. 598-601, 2008.
    [BibTeX] [URL]

    @incollection{APLS08,
      author = {A. Abate and M. Prandini and J. Lygeros and S. Sastry},
      title = {Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps},
      booktitle = {Hybrid Systems: Computation and Control},
      publisher = {Springer Verlag},
      year = {2008},
      pages = {598-601},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbatePrandiniLygerosSastryHSCC08.pdf}
    }
    
  5. A. Abate, S. Amin, M. Prandini, J. Lygeros and S. Sastry, “Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems,” pp. 4-17, 2007.
    [BibTeX] [URL]

    @incollection{AAPLS07,
      author = {A. Abate and S. Amin and M. Prandini and J. Lygeros and S. Sastry},
      title = {Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems},
      booktitle = {Hybrid Systems: Computation and Control},
      publisher = {Springer Verlag},
      year = {2007},
      pages = {4-17},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateAminPrandiniLygerosSastryHSCC07.pdf}
    }
    
  6. A. Abate, A. D'Innocenzo, G. Pola, M. D. Benedetto and S. Sastry, “The Concept of Deadlock and Livelock in Hybrid Control Systems,” pp. 628-632, April 2007.
    [BibTeX] [URL]

    @incollection{ADPDS07,
      author = {A. Abate and A. D'Innocenzo and G. Pola and M.D. Di Benedetto and S. Sastry},
      title = {The Concept of Deadlock and Livelock in Hybrid Control Systems},
      booktitle = {Hybrid Systems: Computation and Control},
      publisher = {Springer Verlag},
      year = {2007},
      pages = {628-632},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateDInnocenzoPolaDiBenedettoSastryHSCC07.pdf}
    }
    
  7. S. Amin, A. Abate, M. Prandini, J. Lygeros and S. Sastry, “Reachability analysis for controlled discrete time stochastic hybrid systems,” pp. 49-63, 2006.
    [BibTeX] [URL]

    @incollection{AAPLS06,
      author = {S. Amin and A. Abate and M. Prandini and J. Lygeros and S. Sastry},
      title = {Reachability analysis for controlled discrete time stochastic hybrid systems},
      booktitle = {Hybrid Systems: Computation and Control},
      publisher = {Springer Verlag},
      year = {2006},
      pages = {49-63},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/AminAbatePrandiniLygerosSastryHSCC06.pdf}
    }
    

Conference Proceedings

  1. 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, December 2012.
    [BibTeX] [URL]

    @inproceedings{TA12b,
      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},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/TkachevAbateCDC12.pdf}
    }
    
  2. M. Strelec, K. Macek and A. Abate, “Modeling and Simulation of a Microgrid as a Stochastic Hybrid System,” in Proceedings of the IEEE PES Innovative Smart Grid Technologies (ISGT 12), September 2012.
    [BibTeX] [URL]

    @inproceedings{SMA12,
      author = {M. Strelec and K. Macek and A. Abate},
      title = {Modeling and Simulation of a Microgrid as a Stochastic Hybrid System},
      booktitle = {Proceedings of the IEEE PES Innovative Smart Grid Technologies (ISGT 12)},
      year = {2012},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/StrelecMacekAbateISTG12.pdf}
    }
    
  3. D. Adzkiya, B. De Schutter and A. Abate, “Abstraction and Verification of Autonomous Max-Plus-Linear Systems,” in Proceedings of the 31st American Control Conference, pp. 721-726, June 2012.
    [BibTeX] [URL]

    @inproceedings{AdSA12,
      author = {D. Adzkiya and B. De Schutter and A. Abate},
      title = {Abstraction and Verification of Autonomous Max-Plus-Linear Systems},
      booktitle = {Proceedings of the 31st American Control Conference},
      year = {2012},
      pages = {721--726},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/AdzkiyaDeSchutterAbateACC12.pdf}
    }
    
  4. 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, April 2012.
    [BibTeX] [URL]

    @inproceedings{AKM11,
      author = {A. D'Innocenzo and A. Abate and J.-P. Katoen},
      title = {Robust PCTL Model Checking},
      booktitle = {Proceedings of the 15th ACM international conference on Hybrid Systems: computation and control},
      year = {2012},
      pages = {275--285},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/DInnocenzoAbateKatoenHSCC12.pdf}
    }
    
  5. 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, April 2012.
    [BibTeX] [URL]

    @inproceedings{EZSA12,
      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 = {http://www.dcsc.tudelft.nl/~aabate/publications/SoudjaniAbateHSCC12.pdf}
    }
    
  6. 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, April 2012.
    [BibTeX] [URL]

    @inproceedings{TA12,
      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 = {http://www.dcsc.tudelft.nl/~aabate/publications/TkachevAbateHSCC12.pdf}
    }
    
  7. A. Abate and M. Prandini, “Approximate abstractions of stochastic systems: a randomized method,” in Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, December 2011.
    [BibTeX] [URL]

    @inproceedings{ap11,
      author = {A. Abate and M. Prandini},
      title = {Approximate abstractions of stochastic systems: a randomized method},
      booktitle = {Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference},
      year = {2011},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbatePrandiniCDC11.pdf}
    }
    
  8. M. Kamgarpour, J. Ding, S. Summers, A. Abate, J. Lygeros and C. Tomlin, “Discrete Time Stochastic Hybrid Dynamic Games: Verification and Controller Synthesys,” in Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, December 2011.
    [BibTeX] [URL]

    @inproceedings{dksalt11,
      author = {M. Kamgarpour and J. Ding and S. Summers and A. Abate and J. Lygeros and C.J. Tomlin},
      title = {Discrete Time Stochastic Hybrid Dynamic Games: Verification and Controller Synthesys},
      booktitle = {Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference},
      year = {2011},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/Kamgarpour_atalCDC11.pdf}
    }
    
  9. 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 European Control Conference, December 2011.
    [BibTeX] [URL]

    @inproceedings{ta11,
      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 European Control Conference},
      year = {2011},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/TkachevAbateCDC11.pdf}
    }
    
  10. 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, September 2011.
    [BibTeX] [URL]

    @inproceedings{SA11,
      author = {S. Esmaeil Zadeh Soudjani and A. Abate},
      title = {Adaptive Gridding for Abstraction and Verification of Stochastic Hybrid Systems},
      booktitle = {Proceedings of the 8th International Conference on Quantitative Evaluation of SysTems},
      year = {2011},
      pages = {59--69},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/SoudjaniAbateQEST11.pdf}
    }
    
  11. 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, August 2011.
    [BibTeX] [URL]

    @inproceedings{APKL11,
      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},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateKatoenLygerosPrandiniIFAC11.pdf}
    }
    
  12. 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, April 2011.
    [BibTeX] [URL]

    @inproceedings{AKM2011,
      author = {A. Abate and J.-P. Katoen and A. Mereacre},
      title = {Quantitative Automata Model Checking of Autonomous Stochastic Hybrid Systems},
      booktitle = {Proceedings of the 14th ACM international conference on Hybrid Systems: computation and control},
      year = {2011},
      pages = {83-92},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateKatoenMereacreHSCC11.pdf}
    }
    
  13. A. Abate, “Probabilistic Bisimulations of Switching and Resetting Diffusions,” in Proceedings of the 49th IEEE Conference of Decision and Control, pp. 5918-5923, December 2010.
    [BibTeX] [URL]

    @inproceedings{A10,
      author = {A. Abate},
      title = {Probabilistic Bisimulations of Switching and Resetting Diffusions},
      booktitle = {Proceedings of the 49th IEEE Conference of Decision and Control},
      year = {2010},
      pages = {5918-5923},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateCDC10.pdf}
    }
    
  14. 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, December 2010.
    [BibTeX] [URL]

    @inproceedings{BZA10,
      author = {M. Balandat and W. Zhang and A. Abate},
      title = {On the Infinite Horizon Constrained Switched LQR Problem},
      booktitle = {Proceedings of the 49th IEEE Conference of Decision and Control},
      year = {2010},
      pages = {2131-2136},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/BalandatZhangAbateCDC10.pdf}
    }
    
  15. 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, December 2010.
    [BibTeX] [URL]

    @inproceedings{VZAHT10a,
      author = {M.P. Vitus W. Zhang and and A. Abate and J. Hu and C.J. Tomlin},
      title = {On Sensor Scheduling of Linear Dynamical Systems with Error Bounds},
      booktitle = {Proceedings of the 49th IEEE Conference of Decision and Control},
      year = {2010},
      pages = {1318-1323},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/VitusZhangAbateHuTomlinACC10.pdf}
    }
    
  16. 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, December 2010.
    [BibTeX] [URL]

    @inproceedings{ZVHAT10,
      author = {W. Zhang and M.P. Vitus and J. Hu and A. Abate and C.J. Tomlin},
      title = {On the Optimal Solutions of the Infinite-Horizon Linear Sensor Scheduling Problem},
      booktitle = {Proceedings of the 49th IEEE Conference of Decision and Control},
      year = {2010},
      pages = {396-401},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/ZhangVitusHuAbateTomlinCDC10.pdf}
    }
    
  17. M. Vitus, W. Zhang, A. Abate, J. Hu and C. Tomlin, “On Efficient Sensor Scheduling for Linear Dynamical Systems,” in Proceedings of the 29th American Control Conference, pp. 4833 - 4838, June 2010.
    [BibTeX] [URL]

    @inproceedings{VZAHT10b,
      author = {M.P. Vitus and W. Zhang and A. Abate and J. Hu and C.J. Tomlin},
      title = {On Efficient Sensor Scheduling for Linear Dynamical Systems},
      booktitle = {Proceedings of the 29th American Control Conference},
      year = {2010},
      pages = {4833 - 4838},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/VitusZhangAbateHuTomlinACC10.pdf}
    }
    
  18. A. Abate, “A Contractivity Approach for Probabilistic Bisimulations of Diffusion Processes,” in Proceedings of the 48th IEEE Conference of Decision and Control, December 2009.
    [BibTeX] [URL]

    @inproceedings{A09,
      author = {A. Abate},
      title = {A Contractivity Approach for Probabilistic Bisimulations of Diffusion Processes},
      booktitle = {Proceedings of the 48th IEEE Conference of Decision and Control},
      year = {2009},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateCDC09.pdf}
    }
    
  19. 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, December 2009.
    [BibTeX] [URL]

    @inproceedings{ZAVH09,
      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},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/ZhangAbateVitusHuCDC09.pdf}
    }
    
  20. W. Zhang, A. Abate and J. Hu, “Efficient Suboptimal Solutions of Stitched LQR Problems,” in Proceedings of the 28th American Control Conference, pp. 1084-1091, June 2009.
    [BibTeX] [URL]

    @inproceedings{ZAH09b,
      author = {W. Zhang and A. Abate and J. Hu},
      title = {Efficient Suboptimal Solutions of Stitched LQR Problems},
      booktitle = {Proceedings of the 28th American Control Conference},
      year = {2009},
      pages = {1084-1091},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/ZhangAbateHuACC09.pdf}
    }
    
  21. 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, February 2009.
    [BibTeX] [URL]

    @inproceedings{SCA09,
      author = {A. Silletti and A. Cenedese and A. Abate},
      title = {The emergent structure of the Drosophila wing: a dynamic model generator},
      booktitle = {Proceedings of the International Conference on Computer Vision, Theory and Applications (VISAPP 09)},
      year = {2009},
      pages = {406-410},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/SillettiCenedeseAbateVISAPP09.pdf}
    }
    
  22. 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, December 2008.
    [BibTeX] [URL]

    @inproceedings{APLS08c,
      author = {A. Abate and M. Prandini and J. Lygeros and S. Sastry},
      title = {An approximate dynamic programming approach to probabilistic reachability for stochastic hybrid systems},
      booktitle = {Proceedings of the 47th IEEE Conference of Decision and Control},
      year = {2008},
      pages = {4018-4023},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbatePrandiniLygerosSastryCDC08.pdf}
    }
    
  23. 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, December 2008. Special Session on ``Abstraction techniques for dynamical systems: theory and computation''.
    [BibTeX] [URL]

    @inproceedings{IABS08,
      author = {A. D'Innocenzo and A. Abate and M.D. Di Benedetto and S. Sastry},
      title = {Approximate Abstractions of Discrete-Time Controlled Stochastic Hybrid Systems},
      booktitle = {Proceedings of the 47th IEEE Conference of Decision and Control},
      year = {2008},
      pages = {221-226},
      note = {Special Session on ``Abstraction techniques for dynamical systems: theory and computation''},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/DInnocenzoAbateDiBenedettoSastryCDC08.pdf}
    }
    
  24. A. Abate, J. Lygeros and S. Sastry, “Probabilistic Safety and Optimal Control for Survival Analysis of Bacillus Subtilis,” in Proceedings of the 2nd Conference on Foundations of Systems Biology in Engineering (FOSBE), pp. 527-532, 2007.
    [BibTeX] [URL]

    @inproceedings{ALS07,
      author = {A. Abate and J. Lygeros and S. Sastry},
      title = {Probabilistic Safety and Optimal Control for Survival Analysis of Bacillus Subtilis},
      booktitle = {Proceedings of the 2nd Conference on Foundations of Systems Biology in Engineering (FOSBE)},
      year = {2007},
      pages = {527-532},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateLygerosSastryFOSBE07.pdf}
    }
    
  25. A. D. Ames, A. Abate and S. Sastry, “Sufficient Conditions for the Existence of Zeno Behavior in Nonlinear Hybrid Systems via Constant Approximations,” in 46th IEEE Conference on Decision and Control and European Control Conference, pp. 4033-4038, December 2007.
    [BibTeX] [URL]

    @inproceedings{AAS07,
      author = {A. D. Ames and A. Abate and S. Sastry},
      title = {Sufficient Conditions for the Existence of Zeno Behavior in Nonlinear Hybrid Systems via Constant Approximations},
      booktitle = {46th IEEE Conference on Decision and Control and European Control Conference},
      year = {2007},
      pages = {4033-4038},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/AmesAbateSastryCDC07.pdf}
    }
    
  26. A. Abate, A. Tiwari and S. Sastry, “Box Invariance for biologically-inspired dynamical systems,” in 46th IEEE Conference on Decision and Control and European Control Conference, pp. 5162-5167, December 2007.
    [BibTeX] [URL]

    @inproceedings{ATS07,
      author = {A. Abate and A. Tiwari and S. Sastry},
      title = {Box Invariance for biologically-inspired dynamical systems},
      booktitle = {46th IEEE Conference on Decision and Control and European Control Conference},
      year = {2007},
      pages = {5162-5167},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateTiwariSastryCDC07.pdf}
    }
    
  27. 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, October 2007.
    [BibTeX] [URL]

    @inproceedings{ABSTT07,
      author = {A. Abate and Y. Bai and N. Sznajder and C. Talcott and A. Tiwari},
      title = {Quantitative and Probabilistic Modeling in Pathway Logic},
      booktitle = {Proceedings of the 7th IEEE International Conference on BioInformatics and BioEngineering, BIBE07},
      year = {2007},
      pages = {922-929},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/Abate_etalBIBE07.pdf}
    }
    
  28. 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, December 2006.
    [BibTeX] [URL]

    @inproceedings{AAPLS06b,
      author = {A. Abate and S. Amin and M. Prandini and J. Lygeros and S. Sastry},
      title = {Probabilistic reachability and safe sets computation for discrete time stochastic hybrid systems},
      booktitle = {Proceedings of the 45th IEEE Conference of Decision and Control},
      year = {2006},
      pages = {258-263},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/Abate_etalCDC06.pdf}
    }
    
  29. 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, July 2006.
    [BibTeX] [URL]

    @inproceedings{ACS06,
      author = {A. Abate and M. Chen and S. Sastry},
      title = {Analysis of an Implementable Application Layer Scheme for Flow Control over Wireless Networks},
      booktitle = {Proceedings of the 17th International Symposium on Mathematical Theory of Networks and Systems},
      year = {2006},
      pages = {701-708},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateChenSastryMTNS06.pdf}
    }
    
  30. A. Abate, A. Ames and S. Sastry, “A-Priori Detection of Zeno Behavior in Communication Networks Modeled as Hybrid Systems,” in Proceedings of the 25th American Control Conference, pp. 1564-1569, June 2006.
    [BibTeX] [URL]

    @inproceedings{AAS06a,
      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 25th American Control Conference},
      year = {2006},
      pages = {1564-1569},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateAmesSastryACC06tcp.pdf}
    }
    
  31. A. Abate, A. Ames and S. Sastry, “Error bounds based stochastic approximations and simulations of hybrid dynamical systems,” in Proceedings of the 25th American Control Conference, pp. 4742-4747, June 2006.
    [BibTeX] [URL]

    @inproceedings{AAS06b,
      author = {A. Abate and A. Ames and S. Sastry},
      title = {Error bounds based stochastic approximations and simulations of hybrid dynamical systems},
      booktitle = {Proceedings of the 25th American Control Conference},
      year = {2006},
      pages = {4742-4747},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateAmesSastryACC06approx.pdf}
    }
    
  32. 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, June 2006.
    [BibTeX] [URL]

    @inproceedings{AT06,
      author = {A. Abate and A. Tiwari},
      title = {Box Invariance of hybrid and switched systems},
      booktitle = {Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems},
      year = {2006},
      pages = {359-364},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateTiwariADHS06.pdf}
    }
    
  33. A. D. Ames, A. Abate and S. Sastry, “Sufficient Conditions for the Existence of Zeno Behavior,” in Proceedings of the 44th IEEE Conference on Decision and Control and European Control Conference, pp. 696-701, December 2005.
    [BibTeX] [URL]

    @inproceedings{AAS05,
      author = {A. D. Ames and A. Abate and S. Sastry},
      title = {Sufficient Conditions for the Existence of Zeno Behavior},
      booktitle = {Proceedings of the 44th IEEE Conference on Decision and Control and European Control Conference},
      year = {2005},
      pages = {696-701},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/AmesAbateSastryCDC05.pdf}
    }
    
  34. A. Abate, M. Chen and S. Sastry, “New Congestion Control Schemes over Wireless Networks: Delay Sensitivity Analysis and Simulations,” in Proceedings of the 16th IFAC World Congress, July 2005.
    [BibTeX] [URL]

    @inproceedings{ACS05,
      author = {A. Abate and M. Chen and S. Sastry},
      title = {New Congestion Control Schemes over Wireless Networks: Delay Sensitivity Analysis and Simulations},
      booktitle = {Proceedings of the 16th IFAC World Congress},
      year = {2005},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateChenSastryIFAC05.pdf}
    }
    
  35. M. Chen, A. Abate and S. Sastry, “New Congestion Control Schemes over Wireless Networks: Stability Analysis,” in Proceedings of the 16th IFAC World Congress, July 2005.
    [BibTeX] [URL]

    @inproceedings{CAS05,
      author = {M. Chen and A. Abate and S. Sastry},
      title = {New Congestion Control Schemes over Wireless Networks: Stability Analysis},
      booktitle = {Proceedings of the 16th IFAC World Congress},
      year = {2005},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/ChenAbateSastryIFAC05.pdf}
    }
    
  36. A. Abate, A. Ames and S. Sastry, “Stochastic Approximations of Hybrid Systems,” in Proceedings of the 24th American Control Conference, pp. 1557-1562, June 2005.
    [BibTeX] [URL]

    @inproceedings{AAS05b,
      author = {A. Abate and A. Ames and S. Sastry},
      title = {Stochastic Approximations of Hybrid Systems},
      booktitle = {Proceedings of the 24th American Control Conference},
      year = {2005},
      pages = {1557-1562},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateAmesSastryACC05.pdf}
    }
    
  37. A. Abate and L. E. Ghaoui, “Robust Model Predictive Control through Adjustable Variables: An Application to Path Planning,” in Proceedings of the 43rd IEEE Conference on Decision and Control, vol. 3, pp. 2485-2490, December 2004.
    [BibTeX] [URL]

    @inproceedings{AEG04,
      author = {A. Abate and L. El Ghaoui},
      title = {Robust Model Predictive Control through Adjustable Variables: An Application to Path Planning},
      booktitle = {Proceedings of the 43rd IEEE Conference on Decision and Control},
      year = {2004},
      volume = {3},
      pages = {2485-2490},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateElGhaouiCDC04.pdf}
    }
    
  38. L. Shi, A. Abate and S. Sastry, “Optimal Control for a class of Stochastic Hybrid Systems,” in Proceedings of the 43rd IEEE Conference on Decision and Control, vol. 2, pp. 1842 - 1847, December 2004.
    [BibTeX]

    @inproceedings{SAS04,
      author = {L. Shi and A. Abate and S. Sastry},
      title = {Optimal Control for a class of Stochastic Hybrid Systems},
      booktitle = {Proceedings of the 43rd IEEE Conference on Decision and Control},
      year = {2004},
      volume = {2},
      pages = {1842 - 1847}
    }
    
  39. A. Abate, L. Shi, S. Simic and S. Sastry, “A Stability Criterion for Stochastic Hybrid Systems,” in Proceedings of the 16th International Symposium on Mathematical Theory of Networks and Systems, July 2004.
    [BibTeX] [URL]

    @inproceedings{ASSS04,
      author = {A. Abate and L. Shi and S. Simic and S. Sastry},
      title = {A Stability Criterion for Stochastic Hybrid Systems},
      booktitle = {Proceedings of the 16th International Symposium on Mathematical Theory of Networks and Systems},
      year = {2004},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateShiSimicSastryMTNS04.pdf}
    }
    

Selected Archived Technical Reports

  1. A. Abate, J.-P.. Katoen, M. Fraenzle and M. Prandini, “Report on Modeling Frameworks, Model Composition and Bisimulation Notions - D1.1,” 2011.
    [BibTeX] [URL]

    @techreport{AAetal11TR,
      author = {A. Abate and J.-P. Katoen and M. Fraenzle and M. Prandini},
      title = {Report on Modeling Frameworks, Model Composition and Bisimulation Notions - D1.1},
      year = {2011},
      url = {http://www.movesproject.eu/deliverables/WP1/D1.1.pdf}
    }
    
  2. W. Zhang, J. Hu and A. Abate, “Stabilizing Switched Linear Systems With Unstabilizable Subsystems,” March 2009.
    [BibTeX] [URL]

    @techreport{ZHA09TRa,
      author = {Wei Zhang and Jianghai Hu and Alessandro Abate},
      title = {Stabilizing Switched Linear Systems With Unstabilizable Subsystems},
      year = {2009},
      number = {Purdue/ECE-2009-381},
      url = {http://docs.lib.purdue.edu/ecetr/381}
    }
    
  3. W. Zhang, J. Hu and A. Abate, “A Study of the Discrete-Time Switched LQR Problem,” March 2009.
    [BibTeX] [URL]

    @techreport{ZHA09TRb,
      author = {Wei Zhang and Jianghai Hu and Alessandro Abate},
      title = {A Study of the Discrete-Time Switched LQR Problem},
      year = {2009},
      number = {Purdue/ECE-2009-384},
      url = {http://docs.lib.purdue.edu/ecetr/384}
    }
    
  4. J. G. Makin and A. Abate, “A Neural Hybrid-System Model of the Basal Ganglia,” January 16 2007.
    [BibTeX] [URL]

    @techreport{MA07TR,
      author = {Joseph Gerard Makin and Alessandro Abate},
      title = {A Neural Hybrid-System Model of the Basal Ganglia},
      year = {2007},
      number = {UCB/EECS-2007-16},
      url = {http://www.eecs.berkeley.edu/Pubs/TechRpts/2007/EECS-2007-16.html}
    }
    

Theses

  1. A. Abate, “Analysis of Stochastic Hybrid Systems,” May 2004.
    [BibTeX]

    @mastersthesis{A04,
      author = {Alessandro Abate},
      title = {Analysis of Stochastic Hybrid Systems},
      school = {EECS Department, University of California, Berkeley},
      year = {2004}
    }
    
  2. A. Abate, “Non-linear, predictive control for a non-holonomic, non-minimum phase system,” October 2002.
    [BibTeX] [URL]

    @mastersthesis{A02,
      author = {Alessandro Abate},
      title = {Non-linear, predictive control for a non-holonomic, non-minimum phase system},
      school = {DEI, Università degli Studi di Padova},
      year = {2002},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateLaureaOct02.pdf}
    }
    
  3. A. Abate, Probabilistic Reachability for Stochastic Hybrid Systems: Theory, Computations, and Applications. PhD thesis , EECS Department, University of California, Berkeley , 2007.
    [BibTeX] [URL]

    @phdthesis{A07,
      author = {Alessandro Abate},
      title = {Probabilistic Reachability for Stochastic Hybrid Systems: Theory, Computations, and Applications},
      school = {EECS Department, University of California, Berkeley},
      year = {2007},
      url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbatePhDdiss07.pdf}
    }