Model checking in isomorphic module systems

Model checking in isomorphic module systems

With a growing number of interacting modules in today's complex systems, finding an effective tool for detecting design errors has become increasingly challenging. We present procedures for analyzing blocking or deadlock in systems consisting of isomorphic modules instantiated from a template....

Saved in:

書目詳細資料
Main Authors:	Wang, Weilin, Su, Rong, Lin, Liyong, Gong, Chaohui
其他作者:	School of Electrical and Electronic Engineering
格式:	Article
語言:	English
出版:	2020
主題:	Engineering::Electrical and electronic engineering Automata Discrete Event Systems
在線閱讀:	https://hdl.handle.net/10356/137873
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Synchronous composition of finite interval automata
由: Lin, Liyong, et al.
出版: (2020)

Supervisory control of time-interval discrete event systems
由: Brandin, Bertil, et al.
出版: (2021)

Synthesis of covert actuator attackers for free
由: Lin, Liyong, et al.
出版: (2022)

Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates
由: Lin, Liyong, et al.
出版: (2020)

Synthesis of covert actuator and sensor attackers as supervisor synthesis
由: Lin, Liyong, et al.
出版: (2021)

Synthesis of the supremal covert attacker against unknown supervisors by using observations
由: Tai, Ruochen, et al.
出版: (2023)

A cyber attack model with bounded sensor reading alterations
由: Su, Rong
出版: (2020)

Supervisor synthesis for networked discrete event systems with delays against non-FIFO communication channels
由: Zhu, Yuting, et al.
出版: (2021)

Command and Control of Discrete-Event Systems: Towards Online Hierarchical Control Based on Feasible System Decomposition
由: Ngo, Quang Ha, et al.
出版: (2016)

Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems
由: Han, Xiaoguang, et al.
出版: (2020)

Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations
由: Su, Rong
出版: (2020)

Development and applications of a simulation model for vessels in the Singapore Straits
由: Qu, X., et al.
出版: (2014)

What information really matters in supervisor reduction?
由: Su, Rong, et al.
出版: (2020)

On decidability of existence of nonblocking supervisors resilient to smart sensor attacks
由: Su, Rong
出版: (2023)

A discrete event formulation for multi-robot collision avoidance on pre-planned trajectories
由: Deplano, Diego, et al.
出版: (2021)

Real-time supervisory control of a processor for non-preemptive execution of periodic tasks
由: Chen, P.C.Y., et al.
出版: (2014)

A generalized theory on supervisor reduction
由: Su, Rong, et al.
出版: (2020)

Succinct discrete time approximations of distributed hybrid automata
由: Thiagarajan, P.S., et al.
出版: (2013)

Modular discrete time approximations of distributed hybrid automata
由: Thiagarajan, P.S., et al.
出版: (2013)

Design of privacy-preserving control strategy for data opacity of industrial internet (面向工业互联网中数据不透明性的隐私保护控制策略设计)
由: Shen, Yi, et al.
出版: (2022)

Parametric timed model checking for guaranteeing timed opacity
由: ANDRÉ, Étienne, et al.
出版: (2019)

Guaranteeing timed opacity using parametric timed model checking
由: ANDRÉ, Étienne, et al.
出版: (2022)

Language inclusion checking of timed automata with non-Zenoness
由: WANG, Xinyu, et al.
出版: (2017)

A distributed approach to robust control of multi-robot systems
由: Zhou, Yuan, et al.
出版: (2020)

Parametric model checking timed automata under non-Zenoness assumption
由: ANDRE, Étienne, et al.
出版: (2017)

Collision and Deadlock Avoidance in Multirobot Systems: A Distributed Approach
由: Zhou, Yuan, et al.
出版: (2017)

HighSpec: A tool for building and checking OZTA models
由: Dong, J.S., et al.
出版: (2013)

Decentralized bisimilarity control of discrete event systems
由: Sun, Y., et al.
出版: (2014)

Design of water networks using fuzzy cellular automata
由: Dalupan, Angeli T., et al.
出版: (2007)

Bisimilarity enforcing supervisory control for deterministic specifications
由: Sun, Y., et al.
出版: (2014)

Bisimilarity control of nondeterministic discrete event systems
由: Liu, F., et al.
出版: (2014)

Controller Synthesis for Bisimulation Equivalence
由: SUN YAJUAN
出版: (2013)

A systematic study on explicit-state non-zenoness checking for timed automata
由: WANG, Ting, et al.
出版: (2015)

Modelling informal settlements using a hybrid automata approach
由: Shuvo, F.K., et al.
出版: (2014)

Reliable supervisory control for general architecture of decentralized discrete event systems
由: Liu, F., et al.
出版: (2014)

Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
由: Liu, F., et al.
出版: (2014)

A Self-paced Tutoring System, ILSA: Which System Utilization aligned with Learners' Goal Orientations?
由: Tecson, Cesar A, et al.
出版: (2021)

Fuzzy cellular automata models for crowd movement dynamics at signalized pedestrian crossings
由: Chai, Chen, et al.
出版: (2018)

Towards Model-checking Probabilistic Timed Automata against Probabilistic Duration Properties
由: Dang, Van Hung, et al.
出版: (2017)

A hierarchical consistency framework for real-time supervisory control
由: Ngo, Quang Ha, et al.
出版: (2019)