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) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

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

• 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?)
• Better Quality in Synthesis through Quantitative Objectives
• On sequential decisions and Markov chains
• Quantitative Languages
• Synthesizing robust systems
• The complexity of mean payoff games on graphs

Cited in

(9)

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

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)