Georgios Fainekos

Assistant Professor
Cyber-Physical Systems Laboratory (CPSLab)
Center for Embedded Systems (CES)
School of Computing, Informatics and Decision Systems Engineering (SCIDSE)
Ira A. Fulton Schools of Engineering
Arizona State University

Bio [See also Curriculum Vitae]

Georgios Fainekos is an Assistant Professor at the School of Computing, Informatics and Decision Systems Engineering at Arizona State University. He is director of the Cyber-Physical Systems Laboratory (CPSLab) and he is also affiliated with the Center for Embedded Systems (CES). He received his Ph.D. in Computer and Information Science from the University of Pennsylvania in 2008. He holds a Diploma degree (B.Sc. & M.Sc.) in Mechanical Engineering from the National Technical University of Athens and an M.Sc. degree in Computer and Information Science from the University of Pennsylvania. Before joining ASU, he held a Postdoctoral Researcher position at NEC Laboratories America in the System Analysis & Verification Group. He is currently working in the area of Cyber-Physical Systems. In particular, his research interests include formal methods and logic, control theory and hybrid, embedded and real-time systems with applications to robotics and unmanned aerial vehicles. He was finalist for the best student paper in ICRA 2007 and he was recipient of the 2008 Frank Anger Memorial ACM SIGBED/SIGSOFT Student Award. more ...

Recent Publications

For a complete list of my publications please visit my publications page.

• Querying Parametric Temporal Logic Properties on Embedded Systems (pdf, bib),
  Hengyi Yang, Bardh Hoxha and Georgios Fainekos,
  Accepted for presentation at the Int. Conference on Testing Software and Systems, Aalborg, Denmark, Nov. 2012
• Analyzing Insulin Infusion Pump Usage Strategies in Diabetic Patients (pdf, bib),
  Sriram Sankaranarayanan and Georgios Fainekos,
  Invited for presentation at the Proc. of 50th Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, Oct. 2012
• Convergence Proofs for Simulated Annealing Falsification of Safety Properties (pdf, bib),
  Houssam Abbas and Georgios Fainekos,
  Invited for presentation at the Proc. of 50th Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, Oct. 2012
• Approximate Solutions for the Minimal Revision Problem of Specification Automata (pdf, bib),
  Kangjin Kim and Georgios Fainekos,
  Accepted for presentation at the IEEE/RSJ International Conference on Intelligent Robots and Systems, Vilamoura Algarve, Portugal, Oct. 2012
• Simulating Insulin Infusion Pump Risks by In-Silico Modeling of the Insulin-Glucose Regulatory System (pdf, bib),
  Sriram Sankaranarayanan and Georgios Fainekos,
  Accepted for presentation at the 10th Conference on Computational Methods in Systems Biology, London, UK, Oct. 2012
• Verification of Automotive Control Applications using S-TaLiRo (pdf, bib),
  Georgios Fainekos, Sriram Sankaranarayanan, Koichi Ueda and Hakan Yazarel
  In the Proceedings of the American Control Conference, Montreal, Canada, June 2012
• On the Revision Problem of Specification Automata (pdf, bib),
  Kangjin Kim, Georgios Fainekos and Sriram Sankaranarayanan,
  In the Proceedings of the IEEE Conference on Robotics and Automation, St. Paul, Minnesota, May 2012
• Falsification of Temporal Properties of Hybrid Systems Using the Cross-Entropy Method (preprint pdf, bib),
  Sriram Sankaranarayanan and Georgios Fainekos,
  In the Proceedings of the ACM International Conference on Hybrid Systems: Computation and Control, Beijing, China, Apr. 2012
• Probabilistic Temporal Logic Falsification of Cyber-Physical Systems (preprint pdf, bib),
  H. Abbas, G. Fainekos, S. Sankaranarayanan, F. Ivancic, and A. Gupta,
  ACM Transactions on Embedded Computing Systems (In press - Accepted for publication on 2011.12.15)
• Combining Time and Frequency Domain Specifications For Periodic Signals (pdf, bib),
  Aleksandar Chakarov, Sriram Sankaranarayanan and Georgios Fainekos,
  In the Proceedings of Runtime Verification, San Francisco, California, Sep. 2011
• Linear Hybrid System Falsification Through Local Search (pdf, bib),
  Houssam Abbas and Georgios Fainekos,
  In the Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, Taipei, Taiwan, Oct. 2011
• Linear Hybrid System Falsification With Descent (bib),
  Houssam Abbas and Georgios Fainekos,
  Technical Report arXiv:1105.1733, 2011
• Computing Schedules for Time-Triggered Control using Genetic Algorithms (pdf, bib),
  Truong Nghiem and Georgios E. Fainekos,
  In the Proceedings of the 18th IFAC World Congress, Milan, Italy, Aug. 2011
• Revising Temporal Logic Specifications for Motion Planning (pdf, bib),
  Georgios E. Fainekos,
  In the Proceedings of the 2011 International Conference on Robotics and Automation, Shanghai, China, May 2011
• S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems (pdf, bib),
  Y. S. R. Annapureddy, C. Liu, G. E. Fainekos and S. Sankaranarayanan,
  In the Proc. of Tools and algorithms for the construction and analysis of systems, Saarbrucken, Germany, March 2011
• Towards modeling and analysis of cyber-physical medical systems (pdf, bib),
  A. Banerjee, S. K. S. Gupta, G. Fainekos and G. Varsamopoulos,
  Proceedings of the 4th International Symposium on Applied Sciences in Biomedical and Communication Technologies, Barcelona, Spain, Oct. 2011

Recent and Upcoming Courses

• Spring 2013 (ASU): CSE 591: Introduction to Algorithmic Robotics
• Fall 2012 (ASU): CSE 355: Introduction to Theoretical Computer Science

See older courses.

Group

• PhD Students
  • Houssam Abbas (ECEE; Co-advised with Tolga Duman)
  • Adel Dokhanchi (CIDSE; Co-advised with Karam S. Chatha)
  • Bardh Hoxha (CIDSE)
  • Kangjin Kim (CIDSE)
  • David Medawar (CIDSE)
• MS Students
  • Ramtin Kermani (CIDSE)
  • Parth Pandya (CIDSE)
  • Shashank Srinivas (CIDSE)
  • Shih-Kai Su (CIDSE)
  • Hengyi Yang (CIDSE)
• Undergraduate Students
  • Jorge Arce Mendoza (CIDSE)
  • Scott Jones (ECEE)
• Alumni
• A few remarks for prospective students