【预订】A New Framework for Discrete-Event Systems 9781638281528 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781638281528 Author 作者 Kuize Zhang Format 版本 平装-胶订 Pages Number 页数 194页 Publisher 出版社 Now Publishers Publication Date 出版日期 2023-02-27 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.41 Language 语种 其它(含多语) Book Contents 内容简介 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 impleme
¥1099
预订 Discrete-Time and Discrete-Space Dynamical Systems (2020) 【全球购】进口原版图书,约5-8周到达国内后发出
¥943.00
【预订】Discrete-Time and Discrete-Space Dynamical Systems 97830 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030259747 Author 作者 Zhang Kuize Format 版本 平装-胶订 Pages Number 页数 222页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-08-27 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.5 cm Shipping Weight 商品重量 750g Language 语种 英语 Book Contents 内容简介 Discrete-Time and Discrete-Space Dynamical Systemsprovides 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; andcellular 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, detect
¥1002
海外直订A New Framework for Discrete-Event Systems 离散事件系统的一个新框架
¥965.00
明星店铺 中华商务进口图书旗舰店