Ant Colonies for Temporal Logic Falsification of Hybrid Systems

被引：0
作者：
Annapureddy, Yashwanth Singh Rahul [1 ]
Fainekos, Georgios E. [1 ]
机构：
[1] Arizona State Univ, Sch Comp Informat & Decis Syst Engn, Tempe, AZ 85287 USA
来源：
IECON 2010: 36TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY | 2010年
关键词：
OPTIMIZATION; VERIFICATION; DESIGN;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页数：6
相关论文
共 23 条
  • [1] THE ALGORITHMIC ANALYSIS OF HYBRID SYSTEMS
    ALUR, R
    COURCOUBETIS, C
    HALBWACHS, N
    HENZINGER, TA
    HO, PH
    NICOLLIN, X
    OLIVERO, A
    SIFAKIS, J
    YOVINE, S
    [J]. THEORETICAL COMPUTER SCIENCE, 1995, 138 (01) : 3 - 34
  • [2] Bhatia A, 2004, LECT NOTES COMPUT SC, V2993, P142
  • [3] Sampling-based planning, control and verification of hybrid systems
    Branicky, M. S.
    Curtiss, M. M.
    Levine, J.
    Morgan, S.
    [J]. IEE PROCEEDINGS-CONTROL THEORY AND APPLICATIONS, 2006, 153 (05): : 575 - 590
  • [4] Dang T, 2004, LECT NOTES COMPUT SC, V3312, P21
  • [5] Dang T., 2008, P 47 IEEE C DEC CONT, P4049
  • [6] Dorigo M, 2004, ANT COLONY OPTIMIZATION, pIX
  • [7] Egerstedt Magnus, 2009, Control Theoretic Splines: Optimal Control, Statistics, and Path Planning
  • [8] Inverse design of airfoils based on a novel formulation of the ant colony optimization method
    Fainekos, GE
    Giannakoglou, KC
    [J]. INVERSE PROBLEMS IN ENGINEERING, 2003, 11 (01): : 21 - 38
  • [9] Robustness of temporal logic specifications for continuous-time signals
    Fainekos, Georgios E.
    Pappas, George J.
    [J]. THEORETICAL COMPUTER SCIENCE, 2009, 410 (42) : 4262 - 4291
  • [10] Julius A. A., 2007, AM CONTR C NEW YORK
123