|
Showing 1 - 3 of
3 matches in All Departments
Discrete-Time and Discrete-Space Dynamical Systems provides a
systematic characterization of the similarities and differences of
several types of discrete-time and discrete-space dynamical
systems, including: Boolean control networks; nondeterministic
finite-transition systems; finite automata; labelled Petri nets;
and cellular automata. The book's perspective is primarily based on
topological properties though it also employs semitensor-product
and graph-theoretic methods where appropriate. It presents a series
of fundamental results: invertibility, observability,
detectability, reversiblity, etc., with applications to systems
biology. Academic researchers with backgrounds in applied
mathematics, engineering or computer science and practising
engineers working with discrete-time and discrete-space systems
will find this book a helpful source of new understanding for this
increasingly important class of systems. The basic results to be
found within are of fundamental importance for further study of
related problems such as automated synthesis and safety control in
cyber-physical systems using formal methods.
Discrete-Time and Discrete-Space Dynamical Systems provides a
systematic characterization of the similarities and differences of
several types of discrete-time and discrete-space dynamical
systems, including: Boolean control networks; nondeterministic
finite-transition systems; finite automata; labelled Petri nets;
and cellular automata. The book's perspective is primarily based on
topological properties though it also employs semitensor-product
and graph-theoretic methods where appropriate. It presents a series
of fundamental results: invertibility, observability,
detectability, reversiblity, etc., with applications to systems
biology. Academic researchers with backgrounds in applied
mathematics, engineering or computer science and practising
engineers working with discrete-time and discrete-space systems
will find this book a helpful source of new understanding for this
increasingly important class of systems. The basic results to be
found within are of fundamental importance for further study of
related problems such as automated synthesis and safety control in
cyber-physical systems using formal methods.
Real-world problems are often formulated as diverse properties of
different types of dynamical systems. Hence property verification
and synthesis have been long-standing research interests. The
supervisory control framework developed in the 1980s provides a
closed-loop property enforcement framework for discrete-event
systems which usually consist of discrete states and transitions
between states caused by spontaneous occurrences of labeled events.
In this comprehensive review, the author develops an open-loop
property enforcement framework for discrete event systems which
scales better and can be implemented in more models. The author
demonstrates the practicality of this framework using a tool called
concurrent composition, and uses this tool to unify multiple
inference-based properties and concealment-based properties in
discrete-event systems. In the second part, the author introduces a
new model called labeled weighed automata over monoids (LWAMs).
LWAMs provide a natural generalization of labeled finite-state
automata in the sense that each transition therein carries a weight
from a monoid, the weight of a run is the product of the weights of
the run’s transitions. This book introduces the reader to a new
paradigm in discrete event dynamic systems. It provides
researchers, students and practitioners with the basic theory and a
set on implementable tools that will have a significant impact on
systems of the future.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Tenet
John David Washington, Robert Pattinson, …
DVD
R53
Discovery Miles 530
|