Verification of supervisory control software using state proximity and merging

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4981 LNCS, Issue , 2008, Pages 344-357

  Lerda, Flavio ^a   Kapinski, James ^b   Clarke, Edmund M ^a   Krogh, Bruce H ^b  

^a Carnegie Mellon University   (United States)

^b CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONTINUOUS TIME SYSTEMS; CONVEX OPTIMIZATION; HYBRID SYSTEMS; LINEAR MATRIX INEQUALITIES; VERIFICATION;

CONTINUOUS-TIME; CONTROL SOFTWARE; PLANT DYNAMICS; POSITION CONTROLLER; SAFETY PROPERTY; SUPERVISORY CONTROL; SYSTEM PROPERTY;

CONTROLLERS;

EID: 70350010471     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78929-1_25     Document Type: Conference Paper

References (15)

1. Girard, A., Pappas, G.J.: Approximation Metrics for Discrete and Continuous Systems. Technical Report MS-CIS-05-10, University of Pennsylvania (2005)
2. Clarke, E.M., Emerson, E.A.: Synthesis of Synchronization Skeletons for Branching Time Temporal Logic. In: Proc. of Workshop on Logic of Programs (1981)
3. Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000)
4. Lerda, F., Kapinski, J., Maka, H., Clarke, E.M., Krogh, B.H.: Model Checking In-The-Loop. In: The 27th American Control Conference (submitted, 2007)
5. Kapinski, J., Krogh, B.H., Maler, O., Stursberg, O.: On Systematic Simulation of Open Continuous Systems. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol.2623, pp. 283-297. Springer, Heidelberg (2003)
6. Donźe, A., Maler, O.: Systematic Simulation using Sensitivity Analysis. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol.4416, pp. 174-189. Springer, Heidelberg (2007)
7. Julius, A.A., Fainekos, G.E., Anand, M., Lee, I., Pappas, G.J.: Robust Test Generation and Coverage for Hybrid Systems. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol.4416, pp. 329-342. Springer, Heidelberg (2007)
8. Aylward, E., Parrilo, P.A., Slotine, J.J.E.: Algorithmic Search for Contraction Metrics via SOS Programming. In: Proc. of the 2006 American Control Conference (2006)
9. Boyd, S., Ghaoui, L.E., Feron, E., Balakrishnan, V.: Linear Matrix Inequalities in System and Control Theory. In: SIAM Studies in Applied Mathematics, vol.15. SIAM, Philadelphia (1994)
10. Kurzhanski, A.B., V́alyi, I.: Ellipsoidal Calculus for Estimation and Control. Birkhäuser, Boston (1997)
11. Visser, W., Havelund, K., Brat, G., Park, S., Lerda, F.: Model Checking Programs. Automated Software Engineering 10(2), 203-232 (2003)
12. Grant, M., Boyd, S., Ye, Y.: CVX User's Guide (2007)
13. Toh, K.C., Todd, M.J., Tütüncü, R.H.: SDPT3 4.0. MIT Press, Cambridge (2006)
14. Hoffmann, G.M., Huang, H., Waslander, S.L., Tomlin, C.J.: Quadrotor Helicopter Flight Dynamics and Control: Theory and Experiment. In: Proc. of the AIAA Guidance, Navigation, and Control Conference (2007)
15. Parrilo, P.A.: Structured Semidefinite Programs and Semialgebraic Geometry Methods in Robustness and Optimization. PhD thesis, California Institute of Technology (2000)