STP Approach to Model Controlled Automata with Application to Reachability Analysis of DEDS

DOI10.1002/ASJC.1294MaRDI QIDQ2960118zbMATH OpenOpenAlexFDO

Authors Y. Y. Yan, Jumei Yue, Zhumu Fu, Zengqiang Chen

Publication date 7 February 2017

Published in Asian Journal of Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/asjc.1294

zbMATH Keywords

reachabilitysemi-tensor product of matricesmatrix approachdiscrete event dynamic systemcontrolled automata

Mathematics Subject Classification ID

Attainable sets, reachability (93B03) Discrete event control/observation systems (93C65) Algebraic methods (93B25)

Recommendations

• Reachability analysis of pushdown automata: Application to model-checking
• STL model checking of continuous and hybrid systems
• scientific article; zbMATH DE number 1670551
• scientific article; zbMATH DE number 2102715
• Controllability, reachability, and stabilizability of finite automata: a controllability matrix method
• Reachability Analysis with State-Compatible Automata
• Reachability, confluence, and termination analysis with state-compatible automata
• scientific article; zbMATH DE number 1809624
• An automata-theoretic approach to the reachability analysis of RPPS systems

Cites work

• A lightweight model predictive controller for repetitive discrete event systems
• A matrix approach to graph maximum stable set and coloring problems with application to multi-agent systems
• Automata, Boolean matrices, and ultimate periodicity.
• Complete synchronization of temporal Boolean networks
• Confusion diagnosis and control of discrete event systems using synchronized Petri nets
• Disturbance Decoupling of Boolean Control Networks
• Introduction to Discrete Event Systems
• New representations for (max,+) automata with applications to performance evaluation and control of discrete event systems
• On finite potential games
• Robust diagnosis of discrete-event systems against permanent loss of observations
• Stability of switched polynomial systems
• Supervisory Control of a Class of Discrete Event Processes

Cited in

(9)

• Algebraic method of simplifying Boolean networks using semi-tensor product of matrices
• On the static output feedback stabilisation of discrete event dynamic systems based upon the approach of semi-tensor product of matrices
• Matrix approach to simplification of finite state machines using semi-tensor product of matrices
• Matrix approach to I-detectability of partially observed discrete event systems
• Input-output dynamical stability analysis for cyber-physical systems via logical networks
• Modeling, reachability and controllability of bounded Petri nets based on semi-tensor product of matrices
• Approximate synchronization of multi-agent systems over finite fields
• Algebraic state space approach to model and control combined automata
• On the stabilization of nondeterministic finite automata via static output feedback

Describes a project that uses

Uses Software

• UMDES

This page was built for publication: STP Approach to Model Controlled Automata with Application to Reachability Analysis of DEDS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2960118)