1
Published 2020
Springer International Publishing
Table of Contents: ... -- Hybrid and Dynamic Systems...

2
by Wang, Chao, Agarwal, Ravi P., O' Regan, Donal, Sakthivel, Rathinasamy
Published 2020
Springer International Publishing
Table of Contents: ... Dynamic Equations on Translation Time Scales -- Analysis of Dynamical System Models on Translation Time...

3
Published 2020
Springer International Publishing
... procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic...