Alessandro Abate - Selected Publications

@article{AIB08,
  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 = {2009},
  note = {Provisionally Accepted}
}

@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 = {2009},
  note = {Provisionally Accepted}
}

@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},
  note = {In Press},
  url = {http://www.dcsc.tudelft.nl/~aabate/publications/ZhangAbateHuVitusAUT09.pdf}
}

@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},
  note = {In Press},
  url = {http://www.dcsc.tudelft.nl/~aabate/publications/ZhangHuAbateTAC09.pdf}
}

@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 = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateTiwariSastryAUT09.pdf},
  doi = {http://dx.doi.org/10.1016/j.automatica.2009.02.028}
}

@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},
  url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateDInnocenzoDiBenedettoSastryNAHS09.pdf},
  doi = {http://dx.doi.org/10.1016/j.nahs.2008.12.005}
}

@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 = {http://www.dcsc.tudelft.nl/~aabate/publications/Ma_etalPNAS09.pdf},
  doi = {http://dx.doi.org/10.1073/pnas.0808868105}
}

@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},
  url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbatePrandiniLygerosSastryAUT08.pdf},
  doi = {http://dx.doi.org/10.1016/j.automatica.2008.03.027}
}

@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 = {http://www.dcsc.tudelft.nl/~aabate/publications/Boscolo_etalUI08.pdf},
  doi = {http://dx.doi.org/10.1159/000111724}
}

@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 = {http://www.dcsc.tudelft.nl/~aabate/publications/DalMoroAbateLanckrietEtAlKI06.pdf},
  doi = {http://dx.doi.org/10.1038/sj.ki.5000010}
}

@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},
  series = {Lecture Notes in Computer Science 5469},
  editor = {P. Tabuada and R. Majumdar},
  publisher = {Springer Verlag},
  year = {2009},
  pages = {411-425},
  url = {http://www.dcsc.tudelft.nl/~aabate/publications/ZhangAbateHuHSCC09.pdf}
}

@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},
  series = {Lecture Notes in Computer Science 4981},
  editor = {M. Egerstedt and B. Misra},
  publisher = {Springer Verlag},
  year = {2008},
  pages = {1-15},
  url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateDInnocenzoDiBenedettoSastryHSCC08.pdf}
}

@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},
  series = {Lecture Notes in Computer Science 4981},
  editor = {M. Egerstedt and B. Misra},
  publisher = {Springer Verlag},
  year = {2008},
  pages = {598-601},
  url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbatePrandiniLygerosSastryHSCC08.pdf}
}

@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},
  series = {Lecture Notes in Computer Science 4416},
  editor = {A. Bemporad and A. Bicchi and G. Buttazzo},
  publisher = {Springer Verlag},
  year = {2007},
  pages = {4-17},
  url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateAminPrandiniLygerosSastryHSCC07.pdf}
}

@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},
  series = {Lecture Notes in Computer Science 4416},
  editor = {A. Bemporad and A. Bicchi and G. Buttazzo},
  publisher = {Springer Verlag},
  year = {2007},
  pages = {628-632},
  url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateDInnocenzoPolaDiBenedettoSastryHSCC07.pdf}
}

@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},
  series = {Lecture Notes in Computer Science 3927},
  editor = {J. Hespanha and A. Tiwari},
  publisher = {Springer Verlag},
  year = {2006},
  pages = {49-63},
  url = {http://www.dcsc.tudelft.nl/~aabate/publications/AminAbatePrandiniLygerosSastryHSCC06.pdf}
}

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

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

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

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

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

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

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

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

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

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

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

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

@inproceedings{AAS06,
  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}
}

@inproceedings{AAS06_1,
  author = {A. Abate, 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}
}

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

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

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

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

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

@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},
  pages = {2485-2490},
  url = {http://www.dcsc.tudelft.nl/~aabate/publications/AbateElGhaouiCDC04.pdf}
}

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

@mastersthesis{A04,
  author = {Alessandro Abate},
  title = {Analysis of Stochastic Hybrid Systems},
  school = {EECS Department, University of California, Berkeley},
  year = {2004}
}

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

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

@techreport{ZHA09TR,
  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}
}

@techreport{ZHA09TR_2,
  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}
}

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