Stabilization of probabilistic finite automata based on semi-tensor product of matrices
Zhipeng Zhang, Zengqiang Chen, Xiaoguang Han, Zhongxin Liu
Topics & Concepts
ControllabilityProbabilistic logicTensor productConstructiveSet (abstract data type)AutomatonSimple (philosophy)State (computer science)Product (mathematics)Probabilistic automatonComputer scienceController (irrigation)Matrix (chemical analysis)Finite setSequence (biology)MathematicsApplied mathematicsTheoretical computer scienceAlgorithmPure mathematicsArtificial intelligenceEpistemologyGeneticsPhilosophyProcess (computing)Composite materialOperating systemMathematical analysisBiologyGeometryProgramming languageMaterials scienceAgronomyFormal Methods in VerificationPetri Nets in System ModelingEmbedded Systems Design Techniques