• 2102 Citations
  • 22 h-Index
20032021
If you made any changes in Pure, your changes will be visible here soon.

Research Output 2003 2019

  • 2102 Citations
  • 22 h-Index
  • 63 Conference contribution
  • 18 Article
  • 2 Patent
  • 1 Chapter
Filter
Conference contribution
2019

Continuous simulation optimization with model mismatch using Gaussian process regression

Inanlouganji, A., Pedrielli, G., Fainekos, G. & Pokutta, S., Jan 31 2019, WSC 2018 - 2018 Winter Simulation Conference: Simulation for a Noble Cause. Institute of Electrical and Electronics Engineers Inc., p. 2131-2142 12 p. 8632427. (Proceedings - Winter Simulation Conference; vol. 2018-December).

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

Simulation Optimization
Continuous Optimization
Gaussian Process
Fidelity
Regression

Gray-box adversarial testing for control systems with machine learning components

Yaghoubi, S. & Fainekos, G., Apr 16 2019, HSCC 2019 - Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control. Association for Computing Machinery, Inc, p. 179-184 6 p. (HSCC 2019 - Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control).

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

Learning systems
Neural networks
Control systems
Closed loop control systems
Controllers

Local descent for temporal logic falsification of cyber-physical systems

Yaghoubi, S. & Fainekos, G., Jan 1 2019, Cyber Physical Systems. Design, Modeling, and Evaluation - 7th International Workshop, CyPhy 2017, Revised Selected Papers. Chamberlain, R., Taha, W. & Törngren, M. (eds.). Springer Verlag, p. 11-26 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11267 LNCS).

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

Temporal logic
Global optimization
Temporal Logic
Simulated annealing
Descent
2018
1 Citation (Scopus)

Deep predictive models for collision risk assessment in autonomous driving

Strickland, M., Fainekos, G. & Ben Amor, H., Sep 10 2018, 2018 IEEE International Conference on Robotics and Automation, ICRA 2018. Institute of Electrical and Electronics Engineers Inc., p. 4685-4692 8 p. 8461160. (Proceedings - IEEE International Conference on Robotics and Automation).

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

Risk assessment
Accidents
Decision making
Cameras
Experiments

Experience report: Application of falsification methods on the UxAS system

Tuncali, C. E., Hoxha, B., Ding, G., Fainekos, G. & Sankaranarayanan, S., Jan 1 2018, NASA Formal Methods 10th International Symposium, 10th International Symposium, NFM 2018 Newport News, Proceedings. Springer Verlag, p. 452-459 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10811 LNCS).

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

Simulators
Specifications
Planning
Simulator
Specification
1 Citation (Scopus)

Functional gradient descent optimization for automatic test case generation for vehicle controllers

Tuncali, C. E., Yaghoubi, S., Pavlic, T. & Fainekos, G., Jan 12 2018, 2017 13th IEEE Conference on Automation Science and Engineering, CASE 2017. IEEE Computer Society, Vol. 2017-August. p. 1059-1064 6 p.

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

Controllers
Adaptive cruise control
Collision avoidance
Simulated annealing

Optimal Multi-Valued LTL Planning for Systems with Access Right Levels

Hekmatnejad, M. & Fainekos, G., Aug 9 2018, 2018 Annual American Control Conference, ACC 2018. Institute of Electrical and Electronics Engineers Inc., Vol. 2018-June. p. 2363-2370 8 p. 8431556

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

Temporal logic
Planning
Motion planning
Railroad cars
Semantics

Poster: Sim-ATAV: Simulation-based adversarial testing framework for autonomous vehicles

Tuncali, C. E., Fainekos, G., Ito, H. & Kapinski, J., Apr 11 2018, HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week). Association for Computing Machinery, Inc, p. 283-284 2 p.

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

Learning systems
Testing
Neural networks
1 Citation (Scopus)

Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components

Tuncali, C. E., Fainekos, G., Ito, H. & Kapinski, J., Oct 18 2018, 2018 IEEE Intelligent Vehicles Symposium, IV 2018. Institute of Electrical and Electronics Engineers Inc., Vol. 2018-June. p. 1555-1562 8 p. 8500421

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

Test Generation
Autonomous Vehicles
Learning systems
Machine Learning
Virtual reality

Special Session: Embedded Software for Robotics: Challenges and Future Directions

Abbas, H., Saha, I., Shoukry, Y., Ehlers, R., Fainekos, G., Gupta, R., Majumdar, R. & Ulus, D., Nov 15 2018, 2018 Proceedings of the International Conference on Embedded Software, EMSOFT 2018. Institute of Electrical and Electronics Engineers Inc., 8537236. (2018 Proceedings of the International Conference on Embedded Software, EMSOFT 2018).

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

Robot programming
Safety engineering
Embedded Software
Embedded software
Open Source Software
1 Citation (Scopus)

Vacuity aware falsification for MTL request-response specifications

Dokhanchi, A., Yaghoubi, S., Hoxha, B. & Fainekos, G., Jan 12 2018, 2017 13th IEEE Conference on Automation Science and Engineering, CASE 2017. IEEE Computer Society, Vol. 2017-August. p. 1332-1337 6 p.

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

Temporal logic
Specifications
2017

Extended LTLvis motion planning interface

Wei, W., Kim, K. & Fainekos, G., Feb 6 2017, 2016 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2016 - Conference Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 4194-4199 6 p. 7844890

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

Temporal logic
Motion Planning
Motion planning
Linear Temporal Logic
Specifications
2 Citations (Scopus)

Hybrid approximate gradient and stochastic descent for falsification of nonlinear systems

Yaghoubi, S. & Fainekos, G., Jun 29 2017, 2017 American Control Conference, ACC 2017. Institute of Electrical and Electronics Engineers Inc., p. 529-534 6 p. 7963007

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

Nonlinear systems
Specifications
Global optimization
Engineers
1 Citation (Scopus)

Temporal logic control under incomplete or conflicting information

Fainekos, G. & Tanner, H. G., Jun 29 2017, 2017 American Control Conference, ACC 2017. Institute of Electrical and Electronics Engineers Inc., p. 1853-1858 6 p. 7963222

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

Temporal logic
Robots
Motion planning
2016
1 Citation (Scopus)

An efficient algorithm for monitoring practical TPTL specifications

Dokhanchi, A., Hoxha, B., Tuncali, C. E. & Fainekos, G., Dec 27 2016, 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016. Institute of Electrical and Electronics Engineers Inc., p. 184-193 10 p. 7797763

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

Temporal logic
Specifications
Monitoring
Dynamic programming
Polynomials

DisCoF: Cooperative pathfinding in distributed systems with limited sensing and communication range

Zhang, Y., Kim, K. & Fainekos, G., 2016, Springer Tracts in Advanced Robotics. Springer Verlag, Vol. 112. p. 325-340 16 p. (Springer Tracts in Advanced Robotics; vol. 112).

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

Robots
Communication
Robotics
2 Citations (Scopus)

Modeling concurrency and reconfiguration in vehicular systems: A π-calculus approach

Campbell, J., Tuncali, C. E., Liu, P., Pavlic, T., Ozguner, U. & Fainekos, G., Nov 14 2016, 2016 IEEE International Conference on Automation Science and Engineering, CASE 2016. IEEE Computer Society, Vol. 2016-November. p. 523-530 8 p. 7743450

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

Closed loop control systems
Communication
Industry
1 Citation (Scopus)

Planning in dynamic environments through temporal logic monitoring

Hoxha, B. & Fainekos, G., 2016, WS-16-01: Artificial Intelligence Applied to Assistive Technologies and Smart Environments; WS-16-02: AI, Ethics, and Society; WS-16-03: Artificial Intelligence for Cyber Security; WS-16-04: Artificial Intelligence for Smart Grids and Smart Buildings; WS-16-05: Beyond NP; WS-16-06: Computer Poker and Imperfect Information Games; WS-16-07: Declarative Learning Based Programming; WS-16-08: Expanding the Boundaries of Health Informatics Using AI; WS-16-09: Incentives and Trust in Electronic Communities; WS-16-10: Knowledge Extraction from Text; WS-16-11: Multiagent Interaction without Prior Coordination; WS-16-12: Planning for Hybrid Systems; WS-16-13: Scholarly Big Data: AI Perspectives, Challenges, and Ideas; WS-16-14: Symbiotic Cognitive Systems; WS-16-15: World Wide Web and Population Health Intelligence. AI Access Foundation, Vol. WS-16-01 - WS-16-15. p. 601-607 7 p.

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

Temporal logic
Specifications
Planning
Monitoring
Robotics
2 Citations (Scopus)

Traffic light status detection using movement patterns of vehicles

Campbell, J., Ben Amor, H., Ang, M. H. & Fainekos, G., Dec 22 2016, 2016 IEEE 19th International Conference on Intelligent Transportation Systems, ITSC 2016. Institute of Electrical and Electronics Engineers Inc., p. 283-288 6 p. 7795568

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

Telecommunication traffic
Metadata
Lighting
9 Citations (Scopus)

Utilizing S-TaLiRo as an automatic test generation framework for autonomous vehicles

Tuncali, C. E., Pavlic, T. & Fainekos, G., Dec 22 2016, 2016 IEEE 19th International Conference on Intelligent Transportation Systems, ITSC 2016. Institute of Electrical and Electronics Engineers Inc., p. 1470-1475 6 p. 7795751

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

Cost functions
Controllers
Testing
2015
3 Citations (Scopus)

Automatic parallelization of simulink models for multi-core architectures

Tuncali, C. E., Fainekos, G. & Lee, Y-H., Nov 23 2015, Proceedings - 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security and 2015 IEEE 12th International Conference on Embedded Software and Systems, HPCC-CSS-ICESS 2015. Institute of Electrical and Electronics Engineers Inc., p. 964-971 8 p. 7336295

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

Linear programming
Program processors
Diesel engines
Scalability
Scheduling
1 Citation (Scopus)

DisCoF+: Asynchronous DisCoF with flexible decoupling for cooperative pathfinding in distributed systems

Kim, K., Campbell, J., Duong, W., Zhang, Y. & Fainekos, G., Oct 7 2015, IEEE International Conference on Automation Science and Engineering. IEEE Computer Society, Vol. 2015-October. p. 369-376 8 p. 7294106

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

Robots
Communication
Simulators
Planning
9 Citations (Scopus)

Metric interval temporal logic specification elicitation and debugging

Dokhanchi, A., Hoxha, B. & Fainekos, G., Nov 30 2015, 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015. Institute of Electrical and Electronics Engineers Inc., p. 70-79 10 p. 7340472

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

Temporal logic
Specifications
Testing
Graphical user interfaces
Real time systems
5 Citations (Scopus)

Requirements driven falsification with coverage metrics

Dokhanchi, A., Zutshi, A., Sriniva, R. T., Sankaranarayanan, S. & Fainekos, G., Nov 4 2015, 2015 Proceedings of the International Conference on Embedded Software, EMSOFT 2015. Institute of Electrical and Electronics Engineers Inc., p. 31-40 10 p. 7318257

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

Hybrid systems
9 Citations (Scopus)

Towards a verified artificial pancreas: Challenges and solutions for runtime verification

Cameron, F., Fainekos, G., Maahs, D. M. & Sankaranarayanan, S., 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 9333. p. 3-17 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9333).

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

Runtime Verification
Temporal logic
Temporal Logic
Closed loop control systems
Hybrid Control
7 Citations (Scopus)

VISPEC: A graphical tool for elicitation of MTL requirements

Hoxha, B., Mavridis, N. & Fainekos, G., Dec 11 2015, IEEE International Conference on Intelligent Robots and Systems. Institute of Electrical and Electronics Engineers Inc., Vol. 2015-December. p. 3486-3492 7 p. 7353863

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

Temporal logic
Formal logic
Specifications
Formal languages
Formal methods
2014
22 Citations (Scopus)

Formal property verification in a conformance testing framework

Abbas, H., Mittelmann, H. & Fainekos, G., Nov 18 2014, 12th ACM/IEEE International Conference on Methods and Models for System Design, MEMOCODE 2014. Institute of Electrical and Electronics Engineers Inc., p. 155-164 10 p. 6961854

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

Conformance Testing
Testing
Model
Quantify
Automatic Code Generation
12 Citations (Scopus)

Functional gradient descent method for Metric Temporal Logic specifications

Abbas, H., Winn, A., Fainekos, G. & Julius, A. A., 2014, Proceedings of the American Control Conference. Institute of Electrical and Electronics Engineers Inc., p. 2312-2317 6 p. 6859453

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

Temporal logic
Trajectories
Specifications
Nonlinear dynamical systems
Semantics
6 Citations (Scopus)

Revision of specification automata under quantitative preferences

Kim, K. & Fainekos, G., Sep 22 2014, Proceedings - IEEE International Conference on Robotics and Automation. Institute of Electrical and Electronics Engineers Inc., p. 5339-5344 6 p. 6907644

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

Specifications
Approximation algorithms
Scalability
14 Citations (Scopus)

Robustness-guided temporal logic testing and verification for Stochastic Cyber-Physical Systems

Abbas, H., Hoxha, B., Fainekos, G. & Ueda, K., Oct 7 2014, 4th Annual IEEE International Conference on Cyber Technology in Automation, Control and Intelligent Systems, IEEE-CYBER 2014. Institute of Electrical and Electronics Engineers Inc., p. 1-6 6 p. 6917426

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

Temporal logic
Specifications
Testing
Model checking
Markov processes
10 Citations (Scopus)

WiP abstract: Conformance testing as falsification for cyber-physical systems

Abbas, H., Hoxha, B., Fainekos, G., Deshmukh, J. V., Kapinski, J. & Ueda, K., 2014, 2014 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2014. IEEE Computer Society, p. 211 1 p. 6843724

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

Testing
Cyber Physical System
Specifications
2013
3 Citations (Scopus)

A graphical language for LTL motion and mission planning

Srinivas, S., Kermani, R., Kim, K., Kobayashi, Y. & Fainekos, G., 2013, 2013 IEEE International Conference on Robotics and Biomimetics, ROBIO 2013. IEEE Computer Society, p. 704-709 6 p. 6739543

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

Temporal logic
Language
Planning
Robots
Specifications
13 Citations (Scopus)

Computing descent direction of MTL robustness for non-linear systems

Abbas, H. & Fainekos, G., 2013, Proceedings of the American Control Conference. p. 4405-4410 6 p. 6580518

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

Temporal logic
Nonlinear systems
Specifications
Trajectories
Nonlinear dynamical systems
4 Citations (Scopus)

Minimal specification revision for weighted transition systems

Kim, K. & Fainekos, G., 2013, Proceedings - IEEE International Conference on Robotics and Automation. p. 4068-4074 7 p. 6631151

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

Specifications
Temporal logic
Costs
Planning
2012
10 Citations (Scopus)

A model-based approach to synthesizing insulin infusion pump usage parameters for diabetic patients

Sankaranarayanan, S., Miller, C., Raghunathan, R., Ravanbakhsh, H. & Fainekos, G., 2012, 2012 50th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2012. p. 1610-1617 8 p. 6483413

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

Insulin
Pumps
Glucose
Glucose sensors
Global optimization
9 Citations (Scopus)

Approximate solutions for the minimal revision problem of specification automata

Kim, K. & Fainekos, G., 2012, IEEE International Conference on Intelligent Robots and Systems. p. 265-271 7 p. 6386215

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

Robots
Specifications
Temporal logic
Approximation algorithms
Heuristic algorithms
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
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
24 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
39 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
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
124 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
54 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