Synthesizing efficient controllers

DOI10.1007/978-3-642-27940-9_28MaRDI QIDQ2891434zbMATH OpenOpenAlexFDO

Authors Christian von Essen, Barbara Jobstmann

Publication date 15 June 2012

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-27940-9_28

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• scientific article; zbMATH DE number 2163041
• Synthesizing efficient systems in probabilistic environments
• Measuring and synthesizing systems in probabilistic environments
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• On the controller synthesis for finite-state Markov decision processes

Cites work

• Better Quality in Synthesis through Quantitative Objectives
• scientific article; zbMATH DE number 177825 (Why is no real title available?)
• scientific article; zbMATH DE number 700091 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• On sequential decisions and Markov chains
• Quantitative Languages
• Synthesizing robust systems
• The complexity of mean payoff games on graphs

Cited in

(9)

• Compositional strategy synthesis for stochastic games with multiple objectives
• Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes
• Synthesizing efficient systems in probabilistic environments
• scientific article; zbMATH DE number 2163041 (Why is no real title available?)
• Probabilistic model checking for energy-utility analysis
• On Synthesizing Controllers from Bounded-Response Properties
• On the controller synthesis for finite-state Markov decision processes
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Controller synthesis made real: reach-avoid specifications and linear dynamics

Describes a project that uses

Uses Software

• PRISM

This page was built for publication: Synthesizing efficient controllers

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