Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers
| Autor: | Rafal Wisniewski, Ernst-Rüdinger Olderog, Anders P. Ravn |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2017 |
| Předmět: |
Continuous dynamic
030213 general clinical medicine 0209 industrial biotechnology Computer science Continuous modelling 02 engineering and technology Collision 03 medical and health sciences 020901 industrial engineering & automation 0302 clinical medicine Spatial model State (computer science) Hybrid automaton Algorithm |
| Zdroj: | Olderog, E-R, Ravn, A P & Wisniewski, R 2017, Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers . in Provably Correct Systems . Springer, NASA Monographs in Systems and Software Engineering, pp. 95-120 . https://doi.org/10.1007/978-3-319-48628-4_5 NASA Monographs in Systems and Software Engineering ISBN: 9783319486277 Provably Correct Systems |
| DOI: | 10.1007/978-3-319-48628-4_5 |
| Popis: | The interplay between discrete and continuous dynamical models is discussed, and a systematic approach to developing and combining these models together is outlined. The combination is done with linking predicates that define refinement relations between the models. As a case study, we build an abstract, discr spatial model and a concrete, continuous dynamic model for traffic manoeuvrers of multiple vehicles on highways. In the discrete model we show the safety (collision freedom) of distance keeping and lane-change manoeuvrers using events and actions to specify state transitions. By linking the discrete and continuous model via suitable predicates that express the discrete events and actions as distances and set-points in the continuous model, the safety carries over to the concrete model. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|