Ant colonies for temporal logic falsification of hybrid systems

Yashwanth Singh, Rahul Annapureddy, Georgios Fainekos

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

19 Citations (Scopus)

Abstract

The Extended Ant Colony Optimization (EACO) metaheuristic is applied to the problem of Metric Temporal Logic (MTL) falsification of nonautonomous hybrid systems. The goal of the MTL falsification problem is to detect operating conditions and input signals that will generate system trajectories that do not satisfy a user provided specification in MTL. A new method for parameterizing the input space using splines and Hermitian polynomials is introduced and the performance of the new algorithm is compared against Monte Carlo testing techniques. It is envisioned that this work will help practitioners in designing complex control or mixed-signal systems.

Original languageEnglish (US)
Title of host publicationIECON Proceedings (Industrial Electronics Conference)
Pages91-96
Number of pages6
DOIs
StatePublished - 2010
Event36th Annual Conference of the IEEE Industrial Electronics Society, IECON 2010 - Glendale, AZ, United States
Duration: Nov 7 2010Nov 10 2010

Other

Other36th Annual Conference of the IEEE Industrial Electronics Society, IECON 2010
CountryUnited States
CityGlendale, AZ
Period11/7/1011/10/10

Fingerprint

Temporal logic
Hybrid systems
Signal systems
Ant colony optimization
Splines
Trajectories
Polynomials
Specifications
Testing

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Electrical and Electronic Engineering

Cite this

Singh, Y., Annapureddy, R., & Fainekos, G. (2010). Ant colonies for temporal logic falsification of hybrid systems. In IECON Proceedings (Industrial Electronics Conference) (pp. 91-96). [5675195] https://doi.org/10.1109/IECON.2010.5675195

Ant colonies for temporal logic falsification of hybrid systems. / Singh, Yashwanth; Annapureddy, Rahul; Fainekos, Georgios.

IECON Proceedings (Industrial Electronics Conference). 2010. p. 91-96 5675195.

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

Singh, Y, Annapureddy, R & Fainekos, G 2010, Ant colonies for temporal logic falsification of hybrid systems. in IECON Proceedings (Industrial Electronics Conference)., 5675195, pp. 91-96, 36th Annual Conference of the IEEE Industrial Electronics Society, IECON 2010, Glendale, AZ, United States, 11/7/10. https://doi.org/10.1109/IECON.2010.5675195
Singh Y, Annapureddy R, Fainekos G. Ant colonies for temporal logic falsification of hybrid systems. In IECON Proceedings (Industrial Electronics Conference). 2010. p. 91-96. 5675195 https://doi.org/10.1109/IECON.2010.5675195
Singh, Yashwanth ; Annapureddy, Rahul ; Fainekos, Georgios. / Ant colonies for temporal logic falsification of hybrid systems. IECON Proceedings (Industrial Electronics Conference). 2010. pp. 91-96
@inproceedings{f6c06048ea0848e7867a1c38d4a1ca4e,
title = "Ant colonies for temporal logic falsification of hybrid systems",
abstract = "The Extended Ant Colony Optimization (EACO) metaheuristic is applied to the problem of Metric Temporal Logic (MTL) falsification of nonautonomous hybrid systems. The goal of the MTL falsification problem is to detect operating conditions and input signals that will generate system trajectories that do not satisfy a user provided specification in MTL. A new method for parameterizing the input space using splines and Hermitian polynomials is introduced and the performance of the new algorithm is compared against Monte Carlo testing techniques. It is envisioned that this work will help practitioners in designing complex control or mixed-signal systems.",
author = "Yashwanth Singh and Rahul Annapureddy and Georgios Fainekos",
year = "2010",
doi = "10.1109/IECON.2010.5675195",
language = "English (US)",
isbn = "9781424452262",
pages = "91--96",
booktitle = "IECON Proceedings (Industrial Electronics Conference)",

}

TY - GEN

T1 - Ant colonies for temporal logic falsification of hybrid systems

AU - Singh, Yashwanth

AU - Annapureddy, Rahul

AU - Fainekos, Georgios

PY - 2010

Y1 - 2010

N2 - The Extended Ant Colony Optimization (EACO) metaheuristic is applied to the problem of Metric Temporal Logic (MTL) falsification of nonautonomous hybrid systems. The goal of the MTL falsification problem is to detect operating conditions and input signals that will generate system trajectories that do not satisfy a user provided specification in MTL. A new method for parameterizing the input space using splines and Hermitian polynomials is introduced and the performance of the new algorithm is compared against Monte Carlo testing techniques. It is envisioned that this work will help practitioners in designing complex control or mixed-signal systems.

AB - The Extended Ant Colony Optimization (EACO) metaheuristic is applied to the problem of Metric Temporal Logic (MTL) falsification of nonautonomous hybrid systems. The goal of the MTL falsification problem is to detect operating conditions and input signals that will generate system trajectories that do not satisfy a user provided specification in MTL. A new method for parameterizing the input space using splines and Hermitian polynomials is introduced and the performance of the new algorithm is compared against Monte Carlo testing techniques. It is envisioned that this work will help practitioners in designing complex control or mixed-signal systems.

UR - http://www.scopus.com/inward/record.url?scp=78751530620&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=78751530620&partnerID=8YFLogxK

U2 - 10.1109/IECON.2010.5675195

DO - 10.1109/IECON.2010.5675195

M3 - Conference contribution

SN - 9781424452262

SP - 91

EP - 96

BT - IECON Proceedings (Industrial Electronics Conference)

ER -