Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems

DOI10.1007/978-3-540-70594-9_18MaRDI QIDQ3521995zbMATH OpenOpenAlexFDO

Authors Michel Sintzoff

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Discrete-time control/observation systems (93C55)

Recommendations

• scientific article; zbMATH DE number 1444344
• Unconstrained optimal control of regular languages
• Optimal supervisory control of finite state automata
• Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation
• Infinite time regular synthesis

Cited in

(4)

• Model refinement using bisimulation quotients
• Compatibility of refining and controlling plant automata with bisimulation quotients
• A matrix-oriented view of bisimulation quotients over dioid-labeled transition systems
• Simulation quotients simulating bisimulation quotients

This page was built for publication: Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3521995)