Matches in SemOpenAlex for { <https://semopenalex.org/work/W2893826376> ?p ?o ?g. }
- W2893826376 endingPage "8663" @default.
- W2893826376 startingPage "8642" @default.
- W2893826376 abstract "In this paper, we develop a matrix-based methodology to investigate the problems of stability and stabilizability for a deterministic finite automaton (DFA) in the framework of the semi-tensor product (STP) of matrices. First, we discuss the equilibrium point stability (resp., set stability) of a DFA, i.e., verifying whether or not all state trajectories starting from a subset of states converge to a specified equilibrium point (resp., subset of states). The necessary and sufficient conditions for verifying both stabilities are given, respectively. Second, equilibrium point stabilizability (resp., set stabilizability) of a DFA is investigated as verifying the issue of whether or not a DFA can be globally or locally stabilized to a specified equilibrium point (resp., subset of states) by a permissible state-feedback controller. Based on the pre-reachability set and invariant-subset defined in this paper, the matrix-based criteria for verifying equilibrium point stabilizability and set stabilizability are derived, respectively. Furthermore, for each type of stabilizability, all permissible state-feedback controllers for the case of minimal length state trajectories, called optimal state-feedback controllers, are characterized by using the proposed polynomial algorithms. Finally, two examples are presented to illustrate the effectiveness of the theoretical results." @default.
- W2893826376 created "2018-10-05" @default.
- W2893826376 creator A5073105796 @default.
- W2893826376 creator A5081098250 @default.
- W2893826376 date "2018-11-01" @default.
- W2893826376 modified "2023-09-27" @default.
- W2893826376 title "A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata" @default.
- W2893826376 cites W1971318969 @default.
- W2893826376 cites W1979349468 @default.
- W2893826376 cites W1985787415 @default.
- W2893826376 cites W2008088536 @default.
- W2893826376 cites W2048002553 @default.
- W2893826376 cites W2056175800 @default.
- W2893826376 cites W2062325135 @default.
- W2893826376 cites W2086213361 @default.
- W2893826376 cites W2094700336 @default.
- W2893826376 cites W2095259804 @default.
- W2893826376 cites W2117011945 @default.
- W2893826376 cites W2133128760 @default.
- W2893826376 cites W2148878165 @default.
- W2893826376 cites W2157202548 @default.
- W2893826376 cites W2165642210 @default.
- W2893826376 cites W2344793144 @default.
- W2893826376 cites W2409680501 @default.
- W2893826376 cites W2497816991 @default.
- W2893826376 cites W2523771619 @default.
- W2893826376 cites W2565953397 @default.
- W2893826376 cites W2605978076 @default.
- W2893826376 cites W2761682564 @default.
- W2893826376 cites W2963546858 @default.
- W2893826376 cites W4230297697 @default.
- W2893826376 doi "https://doi.org/10.1016/j.jfranklin.2018.09.009" @default.
- W2893826376 hasPublicationYear "2018" @default.
- W2893826376 type Work @default.
- W2893826376 sameAs 2893826376 @default.
- W2893826376 citedByCount "16" @default.
- W2893826376 countsByYear W28938263762019 @default.
- W2893826376 countsByYear W28938263762020 @default.
- W2893826376 countsByYear W28938263762021 @default.
- W2893826376 countsByYear W28938263762022 @default.
- W2893826376 countsByYear W28938263762023 @default.
- W2893826376 crossrefType "journal-article" @default.
- W2893826376 hasAuthorship W2893826376A5073105796 @default.
- W2893826376 hasAuthorship W2893826376A5081098250 @default.
- W2893826376 hasConcept C106487976 @default.
- W2893826376 hasConcept C112505250 @default.
- W2893826376 hasConcept C112972136 @default.
- W2893826376 hasConcept C11413529 @default.
- W2893826376 hasConcept C119857082 @default.
- W2893826376 hasConcept C126255220 @default.
- W2893826376 hasConcept C134306372 @default.
- W2893826376 hasConcept C136643341 @default.
- W2893826376 hasConcept C154945302 @default.
- W2893826376 hasConcept C159985019 @default.
- W2893826376 hasConcept C162392398 @default.
- W2893826376 hasConcept C177264268 @default.
- W2893826376 hasConcept C190470478 @default.
- W2893826376 hasConcept C192562407 @default.
- W2893826376 hasConcept C199360897 @default.
- W2893826376 hasConcept C2524010 @default.
- W2893826376 hasConcept C2775924081 @default.
- W2893826376 hasConcept C28719098 @default.
- W2893826376 hasConcept C28826006 @default.
- W2893826376 hasConcept C33923547 @default.
- W2893826376 hasConcept C37914503 @default.
- W2893826376 hasConcept C41008148 @default.
- W2893826376 hasConcept C47446073 @default.
- W2893826376 hasConcept C48103436 @default.
- W2893826376 hasConcept C78045399 @default.
- W2893826376 hasConcept C80444323 @default.
- W2893826376 hasConcept C94766913 @default.
- W2893826376 hasConceptScore W2893826376C106487976 @default.
- W2893826376 hasConceptScore W2893826376C112505250 @default.
- W2893826376 hasConceptScore W2893826376C112972136 @default.
- W2893826376 hasConceptScore W2893826376C11413529 @default.
- W2893826376 hasConceptScore W2893826376C119857082 @default.
- W2893826376 hasConceptScore W2893826376C126255220 @default.
- W2893826376 hasConceptScore W2893826376C134306372 @default.
- W2893826376 hasConceptScore W2893826376C136643341 @default.
- W2893826376 hasConceptScore W2893826376C154945302 @default.
- W2893826376 hasConceptScore W2893826376C159985019 @default.
- W2893826376 hasConceptScore W2893826376C162392398 @default.
- W2893826376 hasConceptScore W2893826376C177264268 @default.
- W2893826376 hasConceptScore W2893826376C190470478 @default.
- W2893826376 hasConceptScore W2893826376C192562407 @default.
- W2893826376 hasConceptScore W2893826376C199360897 @default.
- W2893826376 hasConceptScore W2893826376C2524010 @default.
- W2893826376 hasConceptScore W2893826376C2775924081 @default.
- W2893826376 hasConceptScore W2893826376C28719098 @default.
- W2893826376 hasConceptScore W2893826376C28826006 @default.
- W2893826376 hasConceptScore W2893826376C33923547 @default.
- W2893826376 hasConceptScore W2893826376C37914503 @default.
- W2893826376 hasConceptScore W2893826376C41008148 @default.
- W2893826376 hasConceptScore W2893826376C47446073 @default.
- W2893826376 hasConceptScore W2893826376C48103436 @default.
- W2893826376 hasConceptScore W2893826376C78045399 @default.
- W2893826376 hasConceptScore W2893826376C80444323 @default.
- W2893826376 hasConceptScore W2893826376C94766913 @default.