STP Approach to Model Controlled Automata with Application to Reachability Analysis of DEDS
DOI10.1002/ASJC.1294zbMATH Open1354.93094OpenAlexW2324132233MaRDI QIDQ2960118FDOQ2960118
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
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
reachabilitysemi-tensor product of matricesmatrix approachdiscrete event dynamic systemcontrolled automata
Attainable sets, reachability (93B03) Discrete event control/observation systems (93C65) Algebraic methods (93B25)
Cites Work
- Disturbance Decoupling of Boolean Control Networks
- Introduction to Discrete Event Systems
- On finite potential games
- Supervisory Control of a Class of Discrete Event Processes
- A matrix approach to graph maximum stable set and coloring problems with application to multi-agent systems
- Stability of switched polynomial systems
- Complete synchronization of temporal Boolean networks
- Robust diagnosis of discrete-event systems against permanent loss of observations
- Automata, Boolean matrices, and ultimate periodicity.
- Confusion diagnosis and control of discrete event systems using synchronized Petri nets
- New representations for (max,+) automata with applications to performance evaluation and control of discrete event systems
- A lightweight model predictive controller for repetitive discrete event systems
Cited In (9)
- Input-output dynamical stability analysis for cyber-physical systems via logical networks
- On the stabilization of nondeterministic finite automata via static output feedback
- Modeling, reachability and controllability of bounded Petri nets based on 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
- On the static output feedback stabilisation of discrete event dynamic systems based upon the approach of semi-tensor product of matrices
- Approximate synchronization of multi-agent systems over finite fields
- Algebraic method of simplifying Boolean networks using semi-tensor product of matrices
- Algebraic state space approach to model and control combined automata
Uses Software
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)
