2013
DOI: 10.1007/978-3-642-39176-7_10
|View full text |Cite
|
Sign up to set email alerts
|

Synthesizing Controllers for Automation Tasks with Performance Guarantees

Abstract: Abstract. We present an extension of the MGSyn toolbox that allows synthesizing parallelized controller programs for industrial automation with performance guarantees. We explain the underlying design, outline its algorithmic optimizations, and exemplify its usage with examples for controlling production systems.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Year Published

2016
2016
2016
2016

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 1 publication
references
References 6 publications
0
0
0
Order By: Relevance