Sökning: id:"swepub:oai:gup.ub.gu.se/186264" >
Reachability analys...
Reachability analysis of complex planar hybrid systems
-
- Hansen, H. A. (författare)
- Universitetet i Søraust-Noreg (USN) Kongsberg,University of South-Eastern Norway (USN) Kongsberg
-
- Schneider, Gerardo, 1967 (författare)
- Gothenburg University,Göteborgs universitet,Institutionen för data- och informationsteknik (GU),Department of Computer Science and Engineering (GU),University of Gothenburg,Universitetet i Oslo,University of Oslo,Chalmers tekniska högskola,Chalmers University of Technology
-
- Steffen, M. (författare)
- Universitetet i Oslo,University of Oslo
-
(creator_code:org_t)
- Elsevier BV, 2013
- 2013
- Engelska.
-
Ingår i: Science of Computer Programming. - : Elsevier BV. - 0167-6423. ; 78:12, s. 2511-2536
- Relaterad länk:
-
https://doi.org/10.1...
-
visa fler...
-
https://gup.ub.gu.se...
-
https://doi.org/10.1...
-
https://research.cha...
-
visa färre...
Abstract
Ämnesord
Stäng
- Hybrid systems are systems that exhibit both discrete and continuous behavior. Reachability, the question of whether a system in one state can reach some other state, is undecidable for hybrid systems in general. In this paper we are concerned with GSPDIs, 2-dimensional systems generalizing SPDIs (planar hybrid systems based on "simple polygonal differential inclusions"), for which reachability have been shown to be decidable. GSPDIs are useful to approximate 2-dimensional control systems, allowing the verification of safety properties of such systems. In this paper we present the following two contributions: (i) an optimized algorithm that answers reachability questions for GSPDIs, where all cycles in the reachability graph are accelerated. (ii) An algorithm by which more complex planar hybrid automata are over-approximated by GSPDIs subject to two measures of precision. We prove soundness, completeness, and termination of both algorithms, and discuss their implementation. (C) 2013 Elsevier B.V. All rights reserved.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Inbäddad systemteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Embedded Systems (hsv//eng)
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Reglerteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Control Engineering (hsv//eng)
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)
Nyckelord
- Hybrid systems
- Reachability checking
- Safety verification
- Non-linear systems
- Differential inclusions
- ALGORITHMIC ANALYSIS
- NONLINEAR-SYSTEMS
- HYTECH
- Safety verification
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas