Safety verification of non-linear hybrid systems is quasi-semidecidable

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

Volumn 6108 LNCS, Issue , 2010, Pages 397-408

  Ratschan, Stefan ^a  

^a INSTITUTE OF COMPUTER SCIENCE   (Czech Republic)

Author keywords

[No Author keywords available]

Indexed keywords

CONTINUOUS TIME MODELS; GENERAL CLASS; NON-LINEAR; PROBLEM INSTANCES; SAFETY VERIFICATION; UNDECIDABILITY;

ELECTRIC GROUNDING; HYBRID COMPUTERS; HYBRID SYSTEMS; LINEAR SYSTEMS;

CONTINUOUS TIME SYSTEMS;

EID: 77954436878     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-13562-0_36     Document Type: Conference Paper

References (12)

1. Asarin, E., Bouajjani, A.: Perturbed Turing machines and hybrid systems. In: Proc. LICS 2001, pp. 269-278 (2001)
2. Bournez, O., Campagnolo, M.L.: A survey on continuous time computations. In: New Computational Paradigms, pp. 383-423 (2008)
3. Collins, P.: Continuity and computability of reachable sets. Theoretical Computer Science 341, 162-195 (2005)
4. Collins, P.: Semantics and computability of the evolution of hybrid systems. Research Report MAS-R0801, CWI (2008)
5. Damm, W., Pinto, G., Ratschan, S.: Guaranteed termination in the verification of LTL properties of non-linear robust discrete time hybrid systems. International Journal of Foundations of Computer Science (IJFCS) 18(1), 63-86 (2007)
6. Fränzle, M.: Analysis of hybrid systems: An ounce of realism can save an infinity of states. In: Flum, J., Rodríguez-Artalejo, M. (eds.) CSL 1999. LNCS, vol. 1683, pp. 126-140. Springer, Heidelberg (1999)
7. Henzinger, T.A., Ho, P.-H., Wong-Toi, H.: Algorithmic analysis of nonlinear hybrid systems. IEEE Transactions on Automatic Control 43, 540-554 (1998)
8. Henzinger, T.A., Kopke, P.W., Puri, A., Varaiya, P.:What's decidable about hybrid automata. Journal of Computer and System Sciences 57, 94-124 (1998)
9. Henzinger, T.A., Raskin, J.-F.: Robust undecidability of timed and hybrid systems. In: Lynch, N., Krogh, B. (eds.) HSCC 2000. LNCS, vol. 1790, p. 145. Springer, Heidelberg (2000)
10. Moore, R.E.: Interval Analysis. Prentice Hall, Englewood Cliffs (1966)
11. Neumaier, A.: Interval Methods for Systems of Equations. Cambridge Univ. Press, Cambridge (1990)
12. Puri, A., Borkar, V., Varaiya, P.: ε-approximation of differential inclusions. In: Alur, R., Henzinger, T.A., Sontag, E.D. (eds.) HS 1995. LNCS, vol. 1066. Springer, Heidelberg (1996)