Ant colonies for temporal logic falsification of hybrid systems

Yashwanth Singh; Rahul Annapureddy; Georgios Fainekos

doi:10.1109/IECON.2010.5675195

Ant colonies for temporal logic falsification of hybrid systems

Yashwanth Singh, Rahul Annapureddy, Georgios Fainekos

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

34 Scopus citations

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 language	English (US)
Title of host publication	Proceedings - IECON 2010, 36th Annual Conference of the IEEE Industrial Electronics Society
Pages	91-96
Number of pages	6
DOIs	https://doi.org/10.1109/IECON.2010.5675195
State	Published - 2010
Event	36th Annual Conference of the IEEE Industrial Electronics Society, IECON 2010 - Glendale, AZ, United States Duration: Nov 7 2010 → Nov 10 2010

Publication series

Name	IECON Proceedings (Industrial Electronics Conference)

Other

Other	36th Annual Conference of the IEEE Industrial Electronics Society, IECON 2010
Country/Territory	United States
City	Glendale, AZ
Period	11/7/10 → 11/10/10

ASJC Scopus subject areas

Control and Systems Engineering
Electrical and Electronic Engineering

Access to Document

10.1109/IECON.2010.5675195

Cite this

Ant colonies for temporal logic falsification of hybrid systems. / Singh, Yashwanth; Annapureddy, Rahul; Fainekos, Georgios.
Proceedings - IECON 2010, 36th Annual Conference of the IEEE Industrial Electronics Society. 2010. p. 91-96 5675195 (IECON Proceedings (Industrial Electronics Conference)).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Singh, Y, Annapureddy, R & Fainekos, G 2010, Ant colonies for temporal logic falsification of hybrid systems. in Proceedings - IECON 2010, 36th Annual Conference of the IEEE Industrial Electronics Society., 5675195, IECON Proceedings (Industrial Electronics Conference), 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

@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",

series = "IECON Proceedings (Industrial Electronics Conference)",

pages = "91--96",

booktitle = "Proceedings - IECON 2010, 36th Annual Conference of the IEEE Industrial Electronics Society",

note = "36th Annual Conference of the IEEE Industrial Electronics Society, IECON 2010 ; Conference date: 07-11-2010 Through 10-11-2010",

}

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

AN - SCOPUS:78751530620

SN - 9781424452262

T3 - IECON Proceedings (Industrial Electronics Conference)

SP - 91

EP - 96

BT - Proceedings - IECON 2010, 36th Annual Conference of the IEEE Industrial Electronics Society

T2 - 36th Annual Conference of the IEEE Industrial Electronics Society, IECON 2010

Y2 - 7 November 2010 through 10 November 2010

ER -

Ant colonies for temporal logic falsification of hybrid systems

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this