Ant colonies for temporal logic falsification of hybrid systems

IECON Proceedings (Industrial Electronics Conference)

Volumn , Issue , 2010, Pages 91-96

  Singh, Yashwanth ^a   Annapureddy, Rahul ^a   Fainekos, Georgios E ^a  

^a ARIZONA STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ANT COLONIES; ANT-COLONY OPTIMIZATION; DESIGNING COMPLEX; HERMITIANS; INPUT SIGNAL; INPUT SPACE; METAHEURISTIC; METRIC TEMPORAL LOGIC; MIXED-SIGNAL SYSTEMS; MONTE CARLO; NONAUTONOMOUS; OPERATING CONDITION; PARAMETERIZING; SYSTEM TRAJECTORY; TESTING TECHNIQUE;

CRIME; ELECTRIC GROUNDING; ELECTRIC SIGNAL SYSTEMS; HYBRID COMPUTERS; HYBRID SYSTEMS; INDUSTRIAL ELECTRONICS; LINEARIZATION; MONTE CARLO METHODS; TESTING;

TEMPORAL LOGIC;

EID: 78751530620     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IECON.2010.5675195     Document Type: Conference Paper

References (23)

1. C. Tomlin, J. Lygeros, and S. Sastry, "A game theoretic approach to controller design for hybrid systems," Proceedings of the IEEE, vol. 88, pp. 949-969, 2000.
2. M. Senesky, G. Eirea, and T.-J. Koo, "Hybrid modelling and control of power electronics," in Hybrid Systems: Computation and Control, ser. LNCS, vol. 2623, 2003, pp. 450-465.
3. A. A. Julius, A. Halasz, V. Kumar, and G. J. Pappas, "Controlling biological systems: The lactose regulation system of escherichia coli," in American Control Conference, New York, July 11-13 2007.
4. P. Tabuada, Verification and Control of Hybrid Systems: A Symbolic Approach. Springer, 2009.
5. R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine, "The algorithmic analysis of hybrid systems," Theoretical Computer Science, vol. 138, no. 1, pp. 3-34, 1995.
6. A. Bhatia and E. Frazzoli, "Incremental search methods for reachability analysis of continuous and hybrid systems," in Hybrid Systems: Computation and Control, ser. LNCS, vol. 2993. Springer, 2004, pp. 142-156.
7. M. Branicky, M. Curtiss, J. Levine, and S. Morgan, "Sampling-based planning, control and verification of hybrid systems," IEE Proc.-Control Theory Appl., vol. 153, no. 5, pp. 575-590, 2006.
8. T. Nahhal and T. Dang, "Test coverage for continuous and hybrid systems," in CAV, ser. LNCS, vol. 4590. Springer, 2007, pp. 449-462.
9. T. Dang, A. Donze, O. Maler, and N. Shalev, "Sensitive state-space exploration," in Proc. of the 47th IEEE Conference on Decision and Control, Dec. 2008, pp. 4049-4054.
10. T. Nghiem, S. Sankaranarayanan, G. E. Fainekos, F. Ivancic, A. Gupta, and G. J. Pappas, "Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems," in Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010, pp. 211-220.
11. P. Zuliani, A. Platzer, and E. M. Clarke, "Bayesian statistical model checking with application to simulink/stateflow verification," in Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010, pp. 243-252.
12. E. Plaku, L. E. Kavraki, and M. Y. Vardi, "Falsification of ltl safety properties in hybrid systems," in Proc. of the Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), ser. LNCS, vol. 5505, 2009, pp. 368 - 382.
13. S. Little, D. Walter, K. Jones, and C. J. Myers, "Analog/mixed- signal circuit verification using models generated from simulation traces," in Proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis (ATVA), ser. LNCS, vol. 4762. Springer, 2007, pp. 114-128.
14. A. Rizk, G. Batt, F. Fages, and S. Soliman, "On a continuous degree of satisfaction of temporal logic formulae with applications to systems biology," in International Conference on Computational Methods in Systems Biology, ser. LNCS, no. 5307. Springer, 2008, pp. 251-268.
15. R. Koymans, "Specifying real-time properties with metric temporal logic." Real-Time Systems, vol. 2, no. 4, pp. 255-299, 1990.
16. G. E. Fainekos and G. J. Pappas, "Robustness of temporal logic specifications for continuous-time signals," Theoretical Computer Science, vol. 410, no. 42, pp. 4262-4291, 2009.
17. G. E. Fainekos and K. C. Giannakoglou, "Inverse design of airfoils based on a novel formulation of the ant colony optimization method," Inverse Problems in Engineering, vol. 11, no. 1, pp. 21-38, 2003.
18. M. Dorigo and T. Sttzle, Ant Colony Optimization. MIT Press, 2004.
19. M. Egerstedt and C. Martin, Control Theoretic Splines: Optimal Control, Statistics, and Path Planning. Princeton University Press, 2009.
20. R. G. Sanfelice and A. R. Teel, "Dynamical properties of hybrid systems simulators," Automatica, vol. 46, no. 2, pp. 239-248, 2010.
21. T. Dang, A. Donzé, and O. Maler, "Verification of analog and mixedsignal circuits using hybrid system techniques," in 5th International Conference on Formal Methods in Computer-Aided Design, ser. LNCS, vol. 3312. Springer, 2004, pp. 21-36.
22. K. Socha and M. Dorigo, "Ant colony optimization for continuous domains," European Journal of Operational Research, vol. 185, pp. 1155-1173, 2008.
23. J. Van Ast, R. Babuška, and B. De Schutter, "Fuzzy ant colony optimization for optimal control," in Proceedings of the 2009 conference on American Control Conference. IEEE Press, 2009, pp. 1003-1008.