Titlebook: Dependable Software Engineering: Theories, Tools, and Applications; First International Xuandong Li,Zhiming Liu,Wang Yi Conference proceed

按時(shí)間順序

EVICT

Dependable Software Engineering: Theories, Tools, and Applications978-3-319-25942-0Series ISSN 0302-9743 Series E-ISSN 1611-3349

prosperity

https://doi.org/10.1007/978-3-319-25942-0cyber-physical systems; formal language definitions; formal methods; hybrid systems; modal logics; model

Coronation

978-3-319-25941-3Springer International Publishing Switzerland 2015

悶熱

Fabric

bromide

medium

Dynamical Entropy and Informationat the control of safe (collision free) lane change maneuvers in multi-lane traffic on highways can be described by finite state machines extended with continuous variables coming from the environment. We use standard theory for controller synthesis to derive the dynamic behavior of a lane-change co

ITCH

Quantum Algorithmic Complexities of fundamental properties of nature, uncertain environments, or simplifications to overcome complexity. Tightly intertwining discrete, continuous and stochastic dynamics complicates modelling, analysis and verification of stochastic hybrid systems (SHSs). In the literature, this issue has been exte

ALE