PUBLICATIONS
2008
M. Kloetzer and C. Belta, A Fully Automated Framework for Control of Linear Systems From Temporal Logic Specifications, IEEE Transactions on Automatic Control, vol. 53, no.1, pp. 287-297, 2008 (pdf)
M. Imielinski and C. Belta, Exploiting the pathway structure of metabolism to reveal high-order epistasis, BMC Systems Biology, 2:40, 2008 (pdf)
G. Batt, C. Belta, and R. Weiss, Temporal Logic Analysis of Gene Networks under Parameter Uncertainty, IEEE Transactions of Automatic Control, vol. 53, pp. 215 – 229, 2008 (pdf)
C. Belta, Abstractions for Planning and Control of Robotic Swarms, Bio-inspired Computing and Communication Networks, Auerbach Publications, CRC Press, eds. Yang Xiao and Fei Hu, 2008 (pdf)
B. Yordanov and C. Belta, Parameter synthesis for piecewise affine systems from temporal logic specifications, 11th International Conference on Hybrid Systems: Computation and Control, (HSCC), St. Louis, Lecture Notes in Computer Science, Springer , eds. M. Egerstedt and B. Mishra, vol. 4981, pp. 542-555 2008 (pdf)
M. Kloetzer and C. Belta, Dealing with non-determinism in symbolic control, 11th International Conf. on Hybrid Systems: Computation and Control, (HSCC), St. Louis, Lecture Notes in Computer Science, Springer, eds. M. Egerstedt and B. Mishra, vol. 4981, pp. 287-300, 2008 (pdf)
M. Kloetzer, C. Mahulea, C. Belta, L. Recalde, and M. Silva, Formal analysis of timed continuous Petri nets, CDC 2008, Cancun, Mexico, 2008 (pdf)
M. Imielinski, N. Klitgord, and C. Belta, Investigating the genomic basis of metabolic robustness through in silico flux analysis, CDC 2008, Cancun, Mexico, 2008 (pdf)
B. Yordanov and C. Belta, Formal Analysis of Piecewise Affine Systems under Parameter Uncertainty with Application to Gene Networks, American Control Conference (ACC), Seattle, WA 2008 (pdf)
M. Kloetzer and C. Belta, Distributed implementations of global temporal logic motion specifications, IEEE Int. Conf. on Robotics and Automation (ICRA), Pasadena, CA, 2008 (pdf)