LEONARDO BOBADILLA
 
     


Recent Publications

Modeling and Analyzing Occupant Behaviors in Building Energy Analysis Using an Information Space Approach. T. Carmenate, M. M. Rahman, L. Bobadilla, D. Leante, and A. Mostafavi. In IEEE International Conference on Automation Science and Engineering, 2015

Discrete-Event and Motion Planning Methodology for Automated Safety Assessment in Construction Projects. M. M. Rahman, T. Carmenate, L. Bobadilla, S. Zanlongo,and A. Mostafavi. In IEEE International Conference on Robotics and Automation, 2015

Verified Planar Formation Control Algorithms by Composition of Primitives. L. Bobadilla, T. T. Johnson, and A. LaViers. AIAA: Guidance, Navigation, and Control, 2015.

Distributed Multi-Robot Area Patrolling in Adversarial Environments. T. Alam, M. Edwards, L. Bobadilla, and D. Shell. In CPS Week: Workshop on Robotic Sensor Networks, 2015.

Decoding and Simulating Occupancy Behaviors in Building Energy Performance. T. Carmenate, L. Bobadilla, S. Zanlongo, and A. Mostafavi. In ASCE International Workshop on Computing Computing in Civil Engineering, 2015

Ex-Ante Assessment of Struck-by Safety Hazards in Construction Projects: A Motion Planning Approach. M. M. Rahman, T. Carmenate, L. Bobadilla, and A. Mostafavi.IEEE International Conference on Automation Science and Engineering 2014

Predictive Assessment and Proactive Monitoring of Struck-By Safety Hazards in Construction Sites: An Information Space Approach. L. Bobadilla, A. Mostafavi, T. Carmenate, and S. Bista. {15th International Conference on Computing in Civil and Building Engineering, 2014.

Stochastic Modeling, Control, and Verification of Wild Bodies. D. Gierl, L. Bobadilla, O. Sanchez, and S. M. LaValle. In IEEE International Conference on Robotics and Automation 2014

Combinatorial filters: Sensor beams, obstacles, and possible paths. B. Tovar, F. Cohen, L. Bobadilla, J. Czarnowski, and S. M. LaValle. ACM Transactions on Sensor Networks, 2014. Accepted, [pdf].

Controlling wild mobile robots using virtual gates and discrete transitions. L. Bobadilla, F. Martinez, E. Gobst, K. Gossman, and S. M. LaValle. In American Control Conference, 2012. Invited [pdf].

Controlling wild bodies using discrete transition systems. L. Bobadilla, O. Sanchez, J. Czarnowski, K. Gossman, and S. M. LaValle. Autonomous Robots, 2013. Invited submission for special issue. Under review, [pdf].

Minimalist multiple target tracking using directional sensor beams. L. Bobadilla, O. Sanchez, J. Czarnowski, and S. M. LaValle. In Proceedings IEEE International Conference on Intelligent Robots and Systems, 2011. [pdf].

Controlling wild bodies using linear temporal logic. L. Bobadilla, O. Sanchez, J. Czarnowski, K. Gossman, and S. M. LaValle. In Proceedings Robotics: Science and Systems, 2011. [pdf].

Manipulating ergodic bodies through gentle guidance. L. Bobadilla, K. Gossman, and S. M. LaValle. In Proceedings IEEE Conference on Robot Motion and Control, 2011. [pdf].

Toward a Compositional Theory of Sensor-Based Robotic Systems (Extended Abstract). L. Bobadilla, O. Sanchez, S. M. LaValle. In RSS 2010 Workshop Motion Planning: From Theory to Practice, 2010 [pdf].

Gene Selection Based On Category Detection Of Gene Ontology. O. Sanchez, C. Payan, L. Bobadilla, F. Gonzalez, E. Barreto. In Proceedings of the seventh international conference for the Critical Assessment of Microarray Data Analysis, CAMDA 2007.

Characterizing and Predicting Catalytic Residues in Enzyme Active Sites Based on Local Properties: A Machine Learning Approach. L. Bobadilla, F. Nino, E. Cepeda and M. A. Patarroyo. In IEEE 7th International Symposium on BioInformatics & BioEngineering 2007.

A Novel Methodology for Characterizing and Predicting Protein Functional Sites. L. Bobadilla, F. Nino, E. Cepeda and M. A. Patarroyo. In 2007 IEEE International Conference on Bioinformatics and Biomedicine 2007.

A Genetic Word Clustering G. Hernandez, L. Bobadilla; O. Sanchez. In Proceedings of the IEEE Congress on Evolutionary Computation (CEC) 2005.

L. Bobadilla, F. Nino, G. Narasimhan Predicting and characterizing metal-binding sites using Support Vector Machines. In Proceedings of the International Conference on Bioinformatics and Applications 2004.