Show simple item record

dc.contributor.authorSadraddini, Sadraen_US
dc.contributor.authorBelta, Calinen_US
dc.date.accessioned2018-06-25T15:57:42Z
dc.date.available2018-06-25T15:57:42Z
dc.date.issued2017
dc.identifier.citationSadra Sadraddini, Calin Belta. 2017. "Formal Synthesis of Control Strategies for Positive Monotone Systems.." CoRR, Volume abs/1702.08501,
dc.identifier.urihttps://hdl.handle.net/2144/29606
dc.description.abstractWe design controllers from formal specifications for positive discrete-time monotone systems that are subject to bounded disturbances. Such systems are widely used to model the dynamics of transportation and biological networks. The specifications are described using signal temporal logic (STL), which can express a broad range of temporal properties. We formulate the problem as a mixed-integer linear program (MILP) and show that under the assumptions made in this paper, which are not restrictive for traffic applications, the existence of open-loop control policies is sufficient and almost necessary to ensure the satisfaction of STL formulas. We establish a relation between satisfaction of STL formulas in infinite time and set-invariance theories and provide an efficient method to compute robust control invariant sets in high dimensions. We also develop a robust model predictive framework to plan controls optimally while ensuring the satisfaction of the specification. Illustrative examples and a traffic management case study are included.en_US
dc.relation.ispartofCoRR
dc.subjectRobustnessen_US
dc.subjectSafetyen_US
dc.subjectSemanticsen_US
dc.subjectOptimal controlen_US
dc.subjectTransportationen_US
dc.subjectBiological system modelingen_US
dc.titleFormal synthesis of control strategies for positive monotone systemsen_US
dc.typeArticleen_US
pubs.elements-sourcedblpen_US
pubs.notesEmbargo: Not knownen_US
pubs.organisational-groupBoston Universityen_US
pubs.organisational-groupBoston University, College of Engineeringen_US
pubs.organisational-groupBoston University, College of Engineering, Department of Mechanical Engineeringen_US


This item appears in the following Collection(s)

Show simple item record