Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems
From MaRDI portal
Publication:3521995
DOI10.1007/978-3-540-70594-9_18zbMath1156.68499OpenAlexW1804217705MaRDI QIDQ3521995
Publication date: 28 August 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-70594-9_18
Discrete-time control/observation systems (93C55) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
Compatibility of refining and controlling plant automata with bisimulation quotients ⋮ Model Refinement Using Bisimulation Quotients
This page was built for publication: Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems
