Searching for "Verifying Hybrid Systems." – sorted by Relevance.
47 documents found, showing 1 through 10.
Next 10 →
-
Verifying Hybrid Systems
- …Verifying Hybrid Systems ? Zohar Manna 1 and Amir Pnueli 2 1 Department of Computer Science…
- Cited by 66 (1 self) – Add To MetaCart
-
Verifying Hybrid Systems Modeled as Timed Automata: A Case Study
- …Verifying Hybrid Systems Modeled as Timed Automata: A Case Study ? Presented at HART '97…
- Cited by 18 (5 self) – Add To MetaCart
-
A temporal dynamic logic for verifying hybrid system invariants
- …A Temporal Dynamic Logic for Verifying Hybrid System Invariants ⋆ André Platzer University…
- Cited by 4 (4 self) – Add To MetaCart
-
Differential dynamic logic for verifying parametric hybrid systems
- …Differential Dynamic Logic for Verifying Parametric Hybrid Systems ⋆ André Platzer University…
- Cited by 8 (7 self) – Add To MetaCart
-
Hybrid Verification by Exploiting the Environment
- … for verifying safety properties can be used for verifying hybrid systems as well. Section 6 contains an example…
- Cited by 3 (0 self) – Add To MetaCart
-
Specification-Guided Analysis of Hybrid Systems Using a Hierarchy of Validation Methods
- …|krogh|zhih}@(email omitted); Abstract: As the key step in verifying hybrid systems, the computation of reachable sets largely determines…
- Cited by 1 (1 self) – Add To MetaCart
-
PHAVer: Algorithmic verification of hybrid systems past HyTech
- … powerful tool for verifying hybrid systems – yet it has remained severely limited in its applicability…
- Cited by 48 (5 self) – Add To MetaCart
-
A Hybrid Projection Temporal Logic for Hybrid Systems
- … and verifying hybrid systems consisting of a non-trivial mixture of discrete and continuous components…
- Cited by 1 (0 self) – Add To MetaCart
-
Applications of MetiTarski in the Verification of Control and Hybrid Systems
- … Verification In order to examine the feasibility of verifying hybrid systems using MetiTarski, we developed…
- Add To MetaCart
-
KeYmaera: A hybrid theorem prover for hybrid systems
- … closure strategy. Our tool is particularly suitable for verifying parametric hybrid systems and has been…
- Cited by 3 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
