Logical Analysis of Hybrid Systems
Latest Publications

TOTAL DOCUMENTS

9

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642145087, 9783642145094

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Differential Dynamic Logic dℒ

Logical Analysis of Hybrid Systems ◽

10.1007/978-3-642-14509-4_2 ◽

2010 ◽

pp. 33-122 ◽

Author(s):

André Platzer

Keyword(s):

Download Full-text

Conclusion

Logical Analysis of Hybrid Systems ◽

10.1007/978-3-642-14509-4_9 ◽

2010 ◽

pp. 335-338 ◽

Author(s):

André Platzer

Download Full-text

Deduction Modulo Real Algebra and Computer Algebra

Logical Analysis of Hybrid Systems ◽

10.1007/978-3-642-14509-4_5 ◽

2010 ◽

pp. 233-252 ◽

Author(s):

André Platzer

Keyword(s):

Computer Algebra ◽

Real Algebra ◽

Deduction Modulo

Download Full-text

Air Traffic Collision Avoidance

Logical Analysis of Hybrid Systems ◽

10.1007/978-3-642-14509-4_8 ◽

2010 ◽

pp. 303-334

Author(s):

André Platzer

Keyword(s):

Collision Avoidance ◽

Air Traffic ◽

Traffic Collision

Download Full-text

European Train Control System

Logical Analysis of Hybrid Systems ◽

10.1007/978-3-642-14509-4_7 ◽

2010 ◽

pp. 277-301

Author(s):

André Platzer

Keyword(s):

Control System ◽

Train Control ◽

Train Control System

Download Full-text

Differential-Algebraic Dynamic Logic DAL

Logical Analysis of Hybrid Systems ◽

10.1007/978-3-642-14509-4_3 ◽

2010 ◽

pp. 123-202

Author(s):

André Platzer

Keyword(s):

Download Full-text

Introduction

Logical Analysis of Hybrid Systems ◽

10.1007/978-3-642-14509-4_1 ◽

2010 ◽

pp. 1-29

Author(s):

André Platzer

Download Full-text

Differential Temporal Dynamic Logic dTL

Logical Analysis of Hybrid Systems ◽

10.1007/978-3-642-14509-4_4 ◽

2010 ◽

pp. 203-230

Author(s):

André Platzer

Keyword(s):

Dynamic Logic ◽

Temporal Dynamic

Download Full-text

Computing Differential Invariants as Fixed Points

Logical Analysis of Hybrid Systems ◽

10.1007/978-3-642-14509-4_6 ◽

2010 ◽

pp. 253-274

Author(s):

André Platzer

Keyword(s):

Fixed Points ◽

Differential Invariants

Download Full-text