61
Published 1999
Springer Berlin Heidelberg
Table of Contents: ... for Complex Dynamic Systems Using Model Abstractions -- Integration of Analog and Discrete Synchronous Design...

63
by Hansmann, Uwe, Merk, Lothar, Nicklous, Martin S., Stober, Thomas
Published 2001
Springer Berlin Heidelberg
Subjects: ...Applied Dynamical Systems...

64
by Nazareth, John L.
Published 1994
Springer Berlin Heidelberg
Subjects: ...Applied Dynamical Systems...

66
Published 1988
Springer Vienna
Subjects: ...Applied Dynamical Systems...

67
Published 1995
Springer Berlin Heidelberg
Subjects: ...Applied Dynamical Systems...

68
by Heidergott, Bernd F.
Published 2007
Springer US
...The International Series on Discrete Event Dynamic Systems...

69
by Stremersch, Geert
Published 2001
Springer US
...The International Series on Discrete Event Dynamic Systems...

70
by Zander, Justyna
Published 2012
CRC Press
...Computational analysis, synthesis, and design of dynamic systems...

71
by Cassandras, Christos G., Lafortune, Stéphane
Published 1999
Springer US
...The International Series on Discrete Event Dynamic Systems...

72
Published 2020
Springer International Publishing
Table of Contents: ...Program Verification -- SAT and SMT -- Timed and Dynamical Systems -- Verifying Concurrent Systems...

73
Published 2016
Springer International Publishing
Table of Contents: ... -- Dynamical systems -- PDE....

74
Published 1996
Springer Berlin Heidelberg
Table of Contents: ... and verification of an industrial press -- Abstract verification of structured dynamical systems -- Design...

75
Published 2007
Springer Berlin Heidelberg
Table of Contents: ... and Homeostatic Behaviours of Boolean Dynamical Systems...

76
Published 2000
Springer Berlin Heidelberg
Table of Contents: ... Analysis of Piecewise-Linear Dynamical Systems -- Maximal Safe Set Computation for Idle Speed Control...

77
Published 2013
Springer Berlin Heidelberg
Table of Contents: ... automata -- Computation based on chaos and dynamical systems -- Massive parallel computation -- Collective...

78
by Furia, Carlo A., Mandrioli, Dino, Morzenti, Angelo, Rossi, Matteo
Published 2012
Springer Berlin Heidelberg
Table of Contents: ... Modeling Problem -- Chap. 4 Dynamical Systems -- Chap. 5 Time in Hardware Modeling and Design -- Chap. 6...

79
Published 2006
Springer Berlin Heidelberg
Table of Contents: ...Chaos, Periodicity and Complexity on Dynamical Systems -- Foundations of Nonextensive Statistical...

80
Published 2009
Springer Berlin Heidelberg
Table of Contents: ... -- Computable CTL * for Discrete-Time and Continuous-Space Dynamic Systems -- An Undecidable Permutation...