If you made any changes in Pure, your changes will be visible here soon.

Research Output 2003 2019

  • 2149 Citations
  • 22 h-Index
  • 63 Conference contribution
  • 18 Article
  • 2 Patent
  • 1 Chapter
2012
6 Citations (Scopus)

Combining time and frequency domain specifications for periodic signals

Chakarov, A., Sankaranarayanan, S. & Fainekos, G., 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7186 LNCS. p. 294-309 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7186 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Frequency Domain
Time Domain
Specification
Specifications
Hybrid Automata
8 Citations (Scopus)

Convergence proofs for Simulated Annealing falsification of safety properties

Abbas, H. & Fainekos, G., 2012, 2012 50th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2012. p. 1594-1601 8 p. 6483411

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Simulated annealing
Temporal logic
Semantics

Editorial: Special section VCPSS'09

Fainekos, G., Goubault, E., Ivančí, F. & Sankaranarayanan, S., Aug 2012, In : Transactions on Embedded Computing Systems. 11, SUPPL. 2, 52.

Research output: Contribution to journalArticle

42 Citations (Scopus)

Falsification of temporal properties of hybrid systems using the cross-entropy method

Sankaranarayanan, S. & Fainekos, G., 2012, HSCC'12 - Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control. p. 125-134 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Hybrid systems
Entropy
Temporal logic
Embedded systems
Systems analysis
16 Citations (Scopus)

On the revision problem of specification automata

Kim, K., Fainekos, G. & Sankaranarayanan, S., 2012, Proceedings - IEEE International Conference on Robotics and Automation. p. 5171-5176 6 p. 6224826

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Specifications
Controllers
Robotics
Feedback
25 Citations (Scopus)

Querying parametric temporal logic properties on embedded systems

Yang, H., Hoxha, B. & Fainekos, G., 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7641 LNCS. p. 136-151 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7641 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Temporal logic
Temporal Logic
Embedded systems
Embedded Systems
Specification
11 Citations (Scopus)

Simulating insulin infusion pump risks by in-silico modeling of the insulin-glucose regulatory system

Sankaranarayanan, S. & Fainekos, G., 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7605 LNBI. p. 322-341 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7605 LNBI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Insulin
Glucose
Pump
Pumps
Modeling
40 Citations (Scopus)

Verification of automotive control applications using S-TaLiRo

Fainekos, G., Sankaranarayanan, S., Ueda, K. & Yazarel, H., 2012, Proceedings of the American Control Conference. p. 3567-3572 6 p. 6315384

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Temporal logic
Specifications
Trajectories
Dynamic programming
2011

Computing schedules for time-triggered control using genetic algorithms

Nghiem, T. & Fainekos, G., 2011, IFAC Proceedings Volumes (IFAC-PapersOnline). PART 1 ed. Vol. 18. p. 794-799 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Genetic algorithms
Scheduling
Controllers
Computability and decidability
Control systems

Foreword

Fainekos, G., Goubault, E., Putot, S. & Ratschan, S., Dec 2011, In : Mathematics in Computer Science. 5, 4, p. 357-358 2 p.

Research output: Contribution to journalArticle

12 Citations (Scopus)

Linear hybrid system falsification through local search

Abbas, H. & Fainekos, G., 2011, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6996 LNCS. p. 503-510 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6996 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Hybrid systems
Hybrid Systems
Local Search
Linear Systems
Stochastic Algorithms
33 Citations (Scopus)

Revising temporal logic specifications for motion planning

Fainekos, G., 2011, Proceedings - IEEE International Conference on Robotics and Automation. p. 40-45 6 p. 5979895

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Temporal logic
Motion planning
Specifications
Feedback
Planning
131 Citations (Scopus)

S-TaLiRo: A tool for temporal logic falsification for hybrid systems

Annpureddy, Y., Liu, C., Fainekos, G. & Sankaranarayanan, S., 2011, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6605 LNCS. p. 254-257 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6605 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Temporal logic
Simulink
Temporal Logic
Hybrid systems
Hybrid Systems
13 Citations (Scopus)

Towards modeling and analysis of cyber-physical medical systems

Banerjee, A., Gupta, S., Fainekos, G. & Varsamopoulos, G., 2011, ACM International Conference Proceeding Series.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Drug delivery
Chemotherapy
Health care
Agglomeration
Health
2010
18 Citations (Scopus)

Ant colonies for temporal logic falsification of hybrid systems

Singh, Y., Annapureddy, R. & Fainekos, G., 2010, IECON Proceedings (Industrial Electronics Conference). p. 91-96 6 p. 5675195

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Temporal logic
Hybrid systems
Signal systems
Ant colony optimization
Splines
55 Citations (Scopus)

Monte-Carlo techniques for falsification of temporal properties of non-linear hybrid systems

Nghiem, T., Sankaranarayanan, S., Fainekos, G., Ivančić, F., Gupta, A. & Pappas, G. J., 2010, HSCC'10 - Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control. p. 211-220 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Hybrid systems
Temporal logic
Trajectories
Large scale systems
Sampling
2009
3 Citations (Scopus)

MTL robust testing and verification for LPV systems

Fainekos, G. & Pappas, G. J., 2009, Proceedings of the American Control Conference. p. 3748-3753 6 p. 5159969

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Temporal logic
Time varying systems
Testing
Linear systems
Nonlinear systems
15 Citations (Scopus)

Robustness of model-based simulations

Fainekos, G., Sankaranarayanan, S., Ivančić, F. & Gupta, A., 2009, Proceedings - Real-Time Systems Symposium. p. 345-354 10 p. 5368184

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Hybrid systems
164 Citations (Scopus)

Robustness of temporal logic specifications for continuous-time signals

Fainekos, G. & Pappas, G. J., Sep 28 2009, In : Theoretical Computer Science. 410, 42, p. 4262-4291 30 p.

Research output: Contribution to journalArticle

Temporal logic
Temporal Logic
Continuous Time
Specification
Robustness
332 Citations (Scopus)

Temporal-logic-based reactive mission and motion planning

Kress-Gazit, H., Fainekos, G. & Pappas, G. J., Dec 2009, In : IEEE Transactions on Robotics. 25, 6, p. 1370-1381 12 p., 5238617.

Research output: Contribution to journalArticle

Temporal logic
Motion planning
Robots
Controllers
Specifications
208 Citations (Scopus)

Temporal logic motion planning for dynamic robots

Fainekos, G., Girard, A., Kress-Gazit, H. & Pappas, G. J., Feb 2009, In : Automatica. 45, 2, p. 343-352 10 p.

Research output: Contribution to journalArticle

Temporal logic
Motion planning
Robots
Specifications
Kinematics
2008
70 Citations (Scopus)

Translating structured english to robot controllers

Kress-Gazit, H., Fainekos, G. & Pappas, G. J., Oct 1 2008, In : Advanced Robotics. 22, 12, p. 1343-1359 17 p.

Research output: Contribution to journalArticle

Temporal logic
Robots
Controllers
Mobile robots
Motion planning
2007
21 Citations (Scopus)

From structured english to robot motion

Kress-Gazit, H., Fainekos, G. & Pappas, G. J., 2007, IEEE International Conference on Intelligent Robots and Systems. p. 2717-2722 6 p. 4398998

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Temporal logic
Robots
Mobile robots
Motion planning
Planning
22 Citations (Scopus)

Hierarchical synthesis of hybrid controllers from temporal logic specifications

Fainekos, G., Girard, A. & Pappas, G. J., 2007, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4416 LNCS. p. 203-216 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4416 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Temporal logic
Temporal Logic
Trajectories
Trajectory
Synthesis
20 Citations (Scopus)

Robust sampling for MITL specifications

Fainekos, G. & Pappas, G. J., 2007, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4763 LNCS. p. 147-162 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4763 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Temporal logic
Specification
Sampling
Specifications
Continuous Time
77 Citations (Scopus)

Robust test generation and coverage for hybrid systems

Julius, A. A., Fainekos, G., Anand, M., Lee, I. & Pappas, G. J., 2007, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4416 LNCS. p. 329-342 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4416 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Robust Tests
Test Generation
Hybrid systems
Hybrid Systems
Coverage
118 Citations (Scopus)

Where's Waldo? Sensor-based temporal logic motion planning

Kress-Gazit, H., Fainekos, G. & Pappas, G. J., 2007, Proceedings - IEEE International Conference on Robotics and Automation. p. 3116-3121 6 p. 4209564

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Temporal logic
Motion planning
Robots
Specifications
Sensors
2006
34 Citations (Scopus)

Robustness of temporal logic specifications

Fainekos, G. & Pappas, G. J., 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4262 LNCS. p. 178-192 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4262 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Temporal logic
Temporal Logic
Specification
Robustness
Specifications
33 Citations (Scopus)

Temporal logic verification using simulation

Fainekos, G., Girard, A. & Pappas, G. J., 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4202 LNCS. p. 171-186 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4202 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Temporal logic
Temporal Logic
Trajectories
Trajectory
Simulation
25 Citations (Scopus)

Translating temporal logic to controller specifications

Fainekos, G., Loizou, S. G. & Pappas, G. J., 2006, Proceedings of the IEEE Conference on Decision and Control. p. 899-904 6 p. 4177895

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Temporal logic
Specifications
Controllers
Logic design
Level control
2005
114 Citations (Scopus)

Hybrid controllers for path planning: A temporal logic approach

Fainekos, G., Kress-Gazit, H. & Pappas, G. J., 2005, Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05. Vol. 2005. p. 4885-4890 6 p. 1582935

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Temporal logic
Motion planning
Robots
Controllers
Specifications
101 Citations (Scopus)

Temporal logic motion planning for mobile robots

Fainekos, G., Kress-Gazit, H. & Pappas, G. J., 2005, Proceedings - IEEE International Conference on Robotics and Automation. Vol. 2005. p. 2020-2025 6 p. 1570410

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Temporal logic
Motion planning
Mobile robots
Robots
Specifications
2004
72 Citations (Scopus)

Experimental cooperative control of fixed-wing unmanned aerial vehicles

Bayraktar, S., Fainekos, G. & Pappas, G. J., 2004, Proceedings of the IEEE Conference on Decision and Control. Vol. 4. p. 4292-4298 7 p. FrA05.5

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fixed wings
Unmanned aerial vehicles (UAV)
Computer systems
Software architecture
Motion planning
2003
22 Citations (Scopus)

Inverse design of airfoils based on a novel formulation of the ant colony optimization method

Fainekos, G. & Giannakoglou, K. C., Feb 2003, In : Inverse Problems in Engineering. 11, 1, p. 21-38 18 p.

Research output: Contribution to journalArticle

Ant colony optimization
Airfoil
Airfoils
Optimization Methods
Formulation