Reachability and controllability analysis of probabilistic finite automata via a novel matrix method (Q5131093): Difference between revisions

Revision as of 22:38, 23 July 2024

scientific article; zbMATH DE number 7268759

Language	Label	Description	Also known as
English	Reachability and controllability analysis of probabilistic finite automata via a novel matrix method	scientific article; zbMATH DE number 7268759

Statements

instance of

scholarly article

0 references

title

Reachability and controllability analysis of probabilistic finite automata via a novel matrix method (English)

0 references

0 references

0 references

0 references

Asian Journal of Control

0 references

publication date

2 November 2020

0 references

zbMATH Keywords

discrete event dynamical systems

0 references

probabilistic finite automata

0 references

reachability

0 references

controllability

0 references

semi-tensor product of matrices

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1002/asjc.2160

0 references

cites work

Control of Infinite Behavior of Finite Automata

0 references

Controllability, reachability, and stabilizability of finite automata: a controllability matrix method

0 references

On the static output feedback stabilization of deterministic finite automata based upon the approach of semi-tensor product of matrix

0 references

Current-State Opacity Formulations in Probabilistic Finite Automata

0 references

Verification of detectability in probabilistic finite automata

0 references

Supervisory control of probabilistic discrete-event systems with recovery

0 references

Probabilistic Supervisory Control of Probabilistic Discrete Event Systems

0 references

Diagnosability of stochastic discrete-event systems

0 references

A Linear Representation of Dynamics of Boolean Networks

0 references

Set stability and set stabilization of Boolean control networks based on invariant subsets

0 references

On robust synchronization of drive-response Boolean control networks with disturbances

0 references

On finite potential games

0 references

Modeling, Analysis and Control of Networked Evolutionary Games

0 references

Controllability of probabilistic Boolean control networks

0 references

On controllability and stabilizability of probabilistic Boolean control networks

0 references

Controllability of probabilistic Boolean control networks based on transition probability matrices

0 references

State feedback stabilization for probabilistic Boolean networks

0 references

State feedback based output tracking control of probabilistic Boolean networks

0 references

Observability of Boolean networks via set controllability approach

0 references

Introduction to Discrete Event Systems

0 references

Identifiers

zbMATH Open document ID

1451.93020

0 references

DOI

10.1002/asjc.2160

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5131093

@@ Property / cites work @@
+Control of Infinite Behavior of Finite Automata
@@ Property / cites work: Control of Infinite Behavior of Finite Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Controllability, reachability, and stabilizability of finite automata: a controllability matrix method
+Normal rank
@@ Property / cites work @@
+On the static output feedback stabilization of deterministic finite automata based upon the approach of semi-tensor product of matrix
+Normal rank
@@ Property / cites work @@
+Current-State Opacity Formulations in Probabilistic Finite Automata
+Normal rank
@@ Property / cites work @@
+Verification of detectability in probabilistic finite automata
+Normal rank
@@ Property / cites work @@
+Supervisory control of probabilistic discrete-event systems with recovery
+Normal rank
@@ Property / cites work @@
+Probabilistic Supervisory Control of Probabilistic Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+Diagnosability of stochastic discrete-event systems
+Normal rank
@@ Property / cites work @@
+A Linear Representation of Dynamics of Boolean Networks
+Normal rank
@@ Property / cites work @@
+Set stability and set stabilization of Boolean control networks based on invariant subsets
+Normal rank
@@ Property / cites work @@
+On robust synchronization of drive-response Boolean control networks with disturbances
+Normal rank
@@ Property / cites work @@
+On finite potential games
@@ Property / cites work: On finite potential games / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling, Analysis and Control of Networked Evolutionary Games
+Normal rank
@@ Property / cites work @@
+Controllability of probabilistic Boolean control networks
+Normal rank
@@ Property / cites work @@
+On controllability and stabilizability of probabilistic Boolean control networks
+Normal rank
@@ Property / cites work @@
+Controllability of probabilistic Boolean control networks based on transition probability matrices
+Normal rank
@@ Property / cites work @@
+State feedback stabilization for probabilistic Boolean networks
+Normal rank
@@ Property / cites work @@
+State feedback based output tracking control of probabilistic Boolean networks
+Normal rank
@@ Property / cites work @@
+Observability of Boolean networks via set controllability approach
+Normal rank
@@ Property / cites work @@
+Introduction to Discrete Event Systems
@@ Property / cites work: Introduction to Discrete Event Systems / rank @@
+Normal rank