Journal article icon

Journal article

Towards scalable synthesis of stochastic control systems

Abstract:

Formal synthesis approaches over stochastic systems have received significant attention in the past few years, in view of their ability to provide provably correct controllers for complex logical specifications in an automated fashion. Examples of complex specifications include properties expressed as formulae in linear temporal logic (LTL) or as automata on infinite strings. A general methodology to synthesize controllers for such properties resorts to symbolic models of the given stochastic...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.1007/s10626-016-0233-6

Authors


More by this author
Institution:
University of Oxford
Oxford college:
Linacre College
Role:
Author
More from this funder
Name:
European Commission
Grant:
AMBI 324432
More from this funder
Name:
German Research Foundation
Grant:
ZA 873/1-1
Publisher:
Springer
Journal:
Discrete Event Dynamic Systems: Theory and Applications More from this journal
Volume:
27
Issue:
2
Pages:
341–369
Publication date:
2016-11-01
Acceptance date:
2016-11-03
DOI:
EISSN:
1573-7594
ISSN:
0924-6703
Keywords:
Pubs id:
pubs:664522
UUID:
uuid:a9f28f44-b9f7-4505-aa48-9c5f413f91e4
Local pid:
pubs:664522
Source identifiers:
664522
Deposit date:
2016-12-27

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP