Main
Bio
Research
Publications
| Hybrid Systems | |
| Systems Biology | |
| Comm Nets | |
| Other |
Teaching
Contacts
Links
Barnum
A list of my theses, publications, preprints, and technical reports. Ordering first by topic, then anti-chronological. Here's a Copiright Notice.
A. Abate, M. Prandini, J. Lygeros, and S. Sastry,
"Probabilistic Reachability and Safety for Controlled Discrete Time Stochastic Hybrid Systems," accepted in Automatica, 2008.
[pdf][BibTex]
A. D'Innocenzo, A. Abate, M.D. Di Benedetto, and S. Sastry,
"Approximate Abstractions of Discrete-Time Controlled Stochastic Hybrid Systems," submitted, 2008.
[pdf][BibTeX]
A. Abate, A. D'Innocenzo, M.D. Di Benedetto, and S. Sastry,
"Markov Set-Chains as abstractions of Stochastic Hybrid Systems," to appear in "Hybrid Systems: Computation and Control," 2008.
[pdf][BibTeX]
A. Abate, M. Prandini, J. Lygeros, and S. Sastry,
"Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps,"
to appear in "Hybrid Systems: Computation and Control," 2008.
[pdf][BibTeX]
A. Ames, A. Abate, and S. Sastry,
"Sufficient Conditions for the Existence of Zeno Behavior in Nonlinear Hybrid Systems via Constant Approximations,"
in the Proceedings of the 46th the Decision and Control Conference, New Orleans, LA, Dec. 2007.
[pdf][BibTeX]
A. Abate,
"Probabilistic Reachability for Stochastic Hybrid Systems: Theory, Computations, and Applications,"
PhD Thesis, Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, Fall 2007.
[pdf][BibTeX]
A. Abate, S. Amin, M. Prandini, J. Lygeros, and S. Sastry,
"Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems,"
In A. Bemporad, A. Bicchi, and G. Buttazzo, eds.: Hybrid Systems: Computation and Control. Lecture Notes in Computer Science 4416, pp. 4-17. Springer Verlag.
Presented at the 10th International Workshop on Hybrid Systems, Pisa (IT), April 2007.
[pdf][BibTeX]
A. Abate, A. D'Innocenzo, G. Pola, M.D. Di Benedetto, and S. Sastry,
"The Concept of Deadlock and Livelock in Hybrid Control Systems,"
In A. Bemporad, A. Bicchi, and G. Buttazzo, eds.: Hybrid Systems: Computation and Control. Lecture Notes in Computer Science 4416. Springer Verlag, pp. 628-632.
Presented at the 10th International Workshop on Hybrid Systems, Pisa (IT), April 2007.
[pdf][BibTeX]
Also available in extended version as a Technical Report EECS-2006-181, December 2006.
[pdf Tech Report][BibTeX]
A. Abate, S. Amin, M. Prandini, J. Lygeros, and S. Sastry,
"Probabilistic Reachability for Safety and Regulation of Controlled Discrete-Time Stochastic Hybrid Systems,"
in the Proceedings of the 45th the Decision and Control Conference, San Diego, CA, Dec. 2006.
[pdf][BibTeX]
A. Abate, A. Ames, and S. Sastry,
"Error Bounds Based Stochastic Approximations and Simulations of Hybrid Dynamical Systems," in the Proceedings of the 25th
American Control Conference, Minneapolis, MN, Jun 2006.
[pdf][BibTeX]
A. Abate, A. Ames, and S. Sastry,
"A-Priori Detection of Zeno Behavior in Communication Networks Modeled as Hybrid Systems," in the Proceedings
of the 25th American Control Conference, Minneapolis, MN, Jun 2006.
[pdf][BibTeX]
S. Amin, A. Abate, M. Prandini, J. Lygeros, and S. Sastry,
"Reachability Analysis of Controlled Discrete-Time Stochastic Hybrid Systems,"
In J. Hespanha and A. Tiwari, eds.: Hybrid Systems: Computation and Control. Lecture Notes in Computer Science 3927, pp. 49-63, Springer Verlag.
Presented at the 9th International Workshop on Hybrid Systems, S.ta Barbara, CA, March 2006.
[pdf][BibTeX]
A. Ames, A. Abate, and S. Sastry,
"Sufficient Conditions for the Existence of Zeno Behavior in Hybrid Systems," in the Proceedings
of the Decision and Control Conference, Seville, SP, December 2005.
[pdf][BibTeX]
A. Abate, A. Ames, and S. Sastry,
"A Stochastic Approximation for Hybrid Systems," in the Proceedings of the 24th American Control Conference,
Portland, OR, June 2005.
[pdf][BibTeX]
L. Shi, A. Abate, and S. Sastry,
"Optimal Control for a class of Stochastic Hybrid Systems," in the Proceedings of the Decision and
Control Conference, The Bahamas, December 2004.
[pdf][BibTeX]
A. Abate, L. Shi, S. Simic, and S. Sastry,
"A Stability Criterion for Stochastic Hybrid Systems," in the Proceedings of the
International Symposium on Mathematical Theory of Networks and Systems, Leuven, BG, July 2004.
[pdf][BibTeX]
Systems and Computational Biology
A. Abate, A. Tiwari, and S. Sastry,
"The concept of Box Invariance for biologically-inspired dynamical systems,"
in the Proceedings of the 45th IEEE Decision and Control Conference, New Orleans, LA, Dec. 2007.
[pdf][BibTeX]
Also available as Technical Report EECS-2006-185, December 2006.
[pdf Tech Report][BibTeX]
A. Abate, Y. Bai, N. Sznajder, C. Talcott, and A. Tiwari,
"Quantitative and Probabilistic Modeling in Pathway Logic,"
in the Proceedings of the 7th IEEE International Conference on BioInformatics and BioEngineering, BIBE07, pp. 922-929,
Boston, MA, Oct 2007.
Best Student Research Paper Award
[pdf][BibTeX]
A. Abate, J. Lygeros, and S. Sastry,
"Probabilistic Safety and Optimal Control for Survival Analysis of Bacillus Subtilis,"
in the Proceedings of the 2nd Conference on Foundations of Systems Biology in Engineering, Stuttgart, DE, Sept 2007.
[pdf][BibTeX]
Presented and appeared as an abstract at the 2006 meeting on "Engineering Principles in
Biological Systems", CSHL, NY, December 2006.
[pdf Abstract]
J. Makin, and A. Abate,
"A Neural Hybrid System Model of the Basal Ganglia," Technical Report EECS-2007-16, January 2007.
[pdf Tech Report][BibTeX]
A. Abate, and A. Tiwari,
"Box Invariance of hybrid and switched systems,"
in the Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, Alghero, IT, 2006.
[pdf][BibTeX]
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,"
in Kidney International Journal, Vol.69, nr.1, pp. 157-160, Jan 2006.
[pdf][BibTeX]
Also appeared as an abstract on Ur.Res., vol 33, Nr. 2, May 2005, p. 131.
[pdf Abstract]
A. Abate, , F. Dal Moro, and G. Lanckriet,
"Response to 'Support vector machines versus artificial neural network: Who is the winner?',"
in Kidney International Journal, Vol.71, nr.1, pp. 85-86, Jan 2007.
[pdf]
Control of Wireless Communication Networks
A. Abate, M. Chen, A. Zakhor, and S. Sastry,
"Design and Analysis of new Application Layer Schemes for Flow Control over Wireless Networks,"
submitted to a Journal, 2007.
[pdf][bibTeX]
A. Abate, M. Chen, and S. Sastry,
"Analysis of an Implementable Application Layer Scheme for Flow Control over Wireless Networks,"
in the Proceedings of the 17th International Symposium on Mathematical Theory of Networks and
Systems, Kyoto, Jp, 2006.
[pdf][BibTeX]
M. Chen, A. Abate, and S. Sastry,
"New Congestion Control Schemes over Wireless Networks: Stability Analysis,"
in the Proceedings of the 16th IFAC World Congress, Prague, CZ, 2005.
[pdf][BibTeX]
A. Abate, M. Chen, and S. Sastry,
"New Congestion Control Schemes over Wireless Networks: Delay Sensitivity Analysis
and Simulations," in the Proceedings of the 16th IFAC World Congress, Prague, CZ, July 2005.
[pdf][BibTeX]
A. Abate, and L. El Ghaoui,
"Robust Model Predictive Control through Adjustable Variables: An Application to Path
Planning," in the Proceedings of the Decision and Control Conference, The Bahamas, December 2005.
[pdf][BibTeX]
A. Abate,
"Non-linear, predictive control for a non-holonomic, non-minimum phase system," Laurea Thesis, DEI, University of Padova, 2002.
[pdf][BibTeX]