Formal Methods for Discrete-Time Dynamical Systems Other Books in This Series

Optimal Control in Thermal Engineering Optimal Control in Thermal Engineering
Optimal Control in Thermal Engineering
2017
Filtering and Control of Wireless Networked Systems Filtering and Control of Wireless Networked Systems
Filtering and Control of Wireless Networked Systems
2017
From Global to Local Statistical Shape Priors From Global to Local Statistical Shape Priors
From Global to Local Statistical Shape Priors
2017
Smart Electromechanical Systems: The Central Nervous System Smart Electromechanical Systems: The Central Nervous System
Smart Electromechanical Systems: The Central Nervous System
2017
Radiators in Hydronic Heating Installations Radiators in Hydronic Heating Installations
Radiators in Hydronic Heating Installations
2017
Supplier Selection Supplier Selection
Supplier Selection
2017
Green IT Engineering: Components, Networks and Systems Implementation Green IT Engineering: Components, Networks and Systems Implementation
Green IT Engineering: Components, Networks and Systems Implementation
2017
Self-Learning Optimal Control of Nonlinear Systems Self-Learning Optimal Control of Nonlinear Systems
Self-Learning Optimal Control of Nonlinear Systems
2017
Mathematical-Statistical Models and Qualitative Theories for Economic and Social Sciences Mathematical-Statistical Models and Qualitative Theories for Economic and Social Sciences
Mathematical-Statistical Models and Qualitative Theories for Economic and Social Sciences
2017
Logic Synthesis for Finite State Machines Based on Linear Chains of States Logic Synthesis for Finite State Machines Based on Linear Chains of States
Logic Synthesis for Finite State Machines Based on Linear Chains of States
2017
Bounded Rationality in Decision Making Under Uncertainty: Towards Optimal Granularity Bounded Rationality in Decision Making Under Uncertainty: Towards Optimal Granularity
Bounded Rationality in Decision Making Under Uncertainty: Towards Optimal Granularity
2017
Co-utility Co-utility
Co-utility
2017
The Theory of Info-Statics: Conceptual Foundations of Information and Knowledge The Theory of Info-Statics: Conceptual Foundations of Information and Knowledge
The Theory of Info-Statics: Conceptual Foundations of Information and Knowledge
2017
Qualitative and Quantitative Analysis of Nonlinear Systems Qualitative and Quantitative Analysis of Nonlinear Systems
Qualitative and Quantitative Analysis of Nonlinear Systems
2017
Designing Impedance Networks Converters Designing Impedance Networks Converters
Designing Impedance Networks Converters
2017