A. Abate
Home
Contact Info
Bio Sketch
Research
Interests
Publications
Group
Teaching
Courses

Alessandro Abate - Selected Publications

Journal Articles

  1. W. Zhang, J. Hu and A. Abate, “Switched LQR Problems in Discrete Time: Algorithms and Performance Analysis,” IEEE Transactions on Automatic Control, no. 10, Nov 2011.
    [BibTeX] [URL] 

    @article{ZHA10,
  author = {W. Zhang and J. Hu and A. Abate},
  title = {Switched LQR Problems in Discrete Time: Algorithms and Performance Analysis},
  journal = {IEEE Transactions on Automatic Control},
  year = {2011},
  number = {10},
  url = {http://www.dcsc.tudelft.nl/~aabate/publications/ZhangHuAbateTAC11.pdf}
}

  2. A. Abate, M. Chen, Y. Wang, A. Zakhor and S. Sastry, “Design and Analysis of new Application Layer Schemes for Flow Control over Wireless Networks,” International Journal of Robust and Nonlinear Control, 2011. doi:10.1002/rnc.1825.
    [BibTeX] [URL] 

    @article{ACWZS11,
  author = {A. Abate and M. Chen and Yue Wang and A. Zakhor and S. Sastry},
  title = {Design and Analysis of new Application Layer Schemes 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}
}

  3. A. Abate, A. D'Innocenzo and M. Di Benedetto, “Approximate Abstractions of Stochastic Hybrid systems,” IEEE Transactions on Automatic Control, vol. 56, no. 10, 2011. doi:10.1109/TAC.2011.2160595.
    [BibTeX] [URL] 

    @article{AIB10,
  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 = {10},
  note = {doi:10.1109/TAC.2011.2160595},
  url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateInnocenzoDiBenedettoTAC11.pdf}
}

  4. 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{SAAT10,
  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}
}

  5. 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{ALS10,
  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}
}

  6. 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}
}

  7. 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}
}

  8. 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}
}

  9. 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}
}

  10. 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}
}

  11. 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}
}

  12. 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}
}

  13. 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}
}

  14. 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. 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}
}

  2. 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}
}

  3. 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}
}

  4. 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}
}

  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. 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. 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}
}

  2. 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}
}

  3. 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}
}

  4. 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}
}

  5. J. Ding, M. Kamgarpour, 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 = {J. Ding and M. Kamgarpour 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/DingKamgarpourSummersAbateLygerosTomlinCDC11.pdf}
}

  6. 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}
}

  7. 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}
}

  8. 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}
}

  9. 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}
}

  10. 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/VitusZhangAbateHuTomlinCDC10.pdf}
}

  11. 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}
}

  12. 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}
}

  13. 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}
}

  14. 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}
}

  15. 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}
}

  16. 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}
}

  17. 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}
}

  18. 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}
}

  19. 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}
}

  20. 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}
}

  21. 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}
}

  22. 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}
}

  23. 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}
}

  24. 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}
}

  25. 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}
}

  26. 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}
}

  27. 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}
}

  28. 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}
}

  29. 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}
}

  30. 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}
}

  31. 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}
}

  32. 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}
}

  33. 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}
}

Archived Technical Reports

  1. 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}
}

  2. 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}
}

  3. 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}
}