記事
デジタルデータあり(Crossref)
すぐに読む
CiNii Research
Maximally Permissive Supervisors for Nonblocking Similarity Control of Nondeterministic Discrete-Event Systems
- 資料種別
- 記事
- 著者
- Jinglun Liほか
- 出版者
- Institute of Electrical and Electronics Engineers (IEEE)
- 出版年
- 2023-06
- 資料形態
- デジタル
- 掲載誌名
- IEEE Transactions on Automatic Control 68 6
- 掲載ページ
- p.3529-3544
全国の図書館の所蔵
国立国会図書館以外の全国の図書館の所蔵状況を表示します。
所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
デジタル
- 資料種別
- 記事
- 著者標目
- 出版年月日等
- 2023-06
- 出版年(W3CDTF)
- 2023-06
- タイトル(掲載誌)
- IEEE Transactions on Automatic Control
- 巻号年月日等(掲載誌)
- 68 6
- 掲載巻
- 68
- 掲載号
- 6
- 掲載ページ
- 3529-3544
- 掲載年月日(W3CDTF)
- 2023-06
- ISSN(掲載誌)
- 00189286
- 出版事項(掲載誌)
- Institute of Electrical and Electronics Engineers (IEEE)
- 件名標目
- 対象利用者
- 一般
- DOI
- 10.1109/tac.2022.3195152
- 作成日(W3CDTF)
- 2022-07-29
- 著作権情報
- https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.htmlhttps://doi.org/10.15223/policy-029https://doi.org/10.15223/policy-037
- 参照
- Synthesis of Similarity Enforcing Supervisors for Nondeterministic Discrete Event SystemsMaximally Permissive Nonblocking Similarity Control of Nondeterministic Discrete Event SystemsControl of Nondeterministic Discrete-Event Systems for Bisimulation EquivalenceSupervisory Control of Nondeterministic Systems with Driven Events via Prioritized Synchronization and Trajectory ModelsSynthesis of Maximally Permissive Supervisors for Nondeterministic Discrete Event Systems With Nondeterministic SpecificationsDiscrete-event control of nondeterministic systemsSupervisory control of discrete-event processes with partial observationsSupervisory Control of a Class of Discrete Event ProcessesSynthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systemsPolynomial synthesis of supervisor for partially observed discrete-event systems by allowing nondeterminism in controlSupervisory control using failure semantics and partial specificationsEffective computation of an Lm(G)-closed, controllable, and observable sublanguage arising in supervisory controlControl of Nondeterministic Systems for Bisimulation Equivalence Under Partial InformationBisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specificationsA lattice-theoretical fixpoint theorem and its applicationsA Calculus of Communicating SystemsRelative Observability of Discrete-Event Systems and Its Supremal SublanguagesA Small Model Theorem for Bisimilarity Control Under Partial ObservationOn observability of discrete-event systemsOn the Supremal Controllable Sublanguage of a Given LanguageOn supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observationBisimilarity Enforcement for Discrete Event Systems Using Deterministic ControlSynthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event SystemsControl of Nondeterministic Discrete Event Systems for Simulation EquivalenceBisimilarity enforcing supervisory control of nondeterministic discrete event systemsBisimilarity Control of Nondeterministic Discrete Event Systems under Event and State ObservationsMaximally permissive similarity-enforcing supervisors for nondeterministic discrete systems under event and state observationsNonblocking Similarity Control of Nondeterministic Discrete Event Systems under Event and State ObservationsMaximally Permissive Nonblocking Supervisors for Similarity Control of Nondeterministic Discrete Event Systems under Event and State Observations
- 連携機関・データベース
- 国立情報学研究所 : CiNii Research
- 提供元機関・データベース
- Crossref科学研究費助成事業データベース