Discrete-Time and Discrete-Space Dynamical Systems
Kuize Zhang, Lijun Zhang, Lihua XieDiscrete-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.
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.
درجه (قاطیغوری(:
کال:
2020
خپرونه:
1st ed. 2020
خپرندویه اداره:
Springer International Publishing
ژبه:
english
ISBN 10:
3030259722
ISBN 13:
9783030259723
لړ (سلسله):
Communications and Control Engineering
فایل:
PDF, 6.19 MB
IPFS:
,
english, 2020
د دې کتاب ډاونلوډ کول د کاپي حق لرونکي د شکایت له امله ممکن نه دئ