Supervisory control of timed discrete event systems under partial observation based on activity models and eligible time bounds
From MaRDI portal
Publication:2504677
DOI10.1016/j.sysconle.2005.09.003zbMath1129.93450OpenAlexW2156231404MaRDI QIDQ2504677
Seong Jin Park, Kwang Hyun Cho
Publication date: 25 September 2006
Published in: Systems \& Control Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.sysconle.2005.09.003
observabilitycontrollabilitysupervisory controlpartial observationactivity modelseligible time boundstimed dess
Discrete event control/observation systems (93C65) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Robust supervisory control of timed discrete event systems under partial observation based on eligible time bounds: the existence conditions ⋮ Supervisory control for real-time scheduling of periodic and sporadic tasks with resource constraints
Cites Work