Anvendt matematikk
Filter
This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of …
This book keeps an eye in the direction of applications of advanced and high performance scientific computing in describing the behavior of natural and constructed systems, e.g. …
This book involves ideas/results from the topics of mathematical, information, and data sciences, in connection with the main research interests of Professor Pardo that can be …
This book discusses the development of a theory of info-statics as a sub-theory of the general theory of information. It describes the factors required to establish a definition of …
Here, the authors present modern methods of analysis for nonlinear systems which may occur in fields such as physics, chemistry, biology, or economics. They concentrate on the …
Focused on recent advances, this book covers theoretical foundations as well as various applications. It presents modern mathematical modeling approaches to the qualitative and …
This book gives a wide-ranging description of the many facets of complex dynamic networks and systems within an infrastructure provided by integrated control and supervision: …
This book is a source of valuable and useful information on the topics of dynamics of number systems and scientific computation with arbitrary precision. It is addressed to …
This book focuses on modelling and simulation, control and optimization, signal processing, and forecasting in selected nonlinear dynamical systems, presenting both literature …
This book focuses on the basic control and filtering synthesis problems for discrete-time switched linear systems under time-dependent switching signals. Chapter 1, as an …