FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2604275565> ?p ?o ?g. }

• W2604275565 abstract "We present a mathematical programming-based method for model predictive control of cyber-physical systems subject to signal temporal logic (STL) specifications. We describe the use of STL to specify a wide range of properties of these systems, including safety, response and bounded liveness. For synthesis, we encode STL specifications as mixed integer-linear constraints on the system variables in the optimization problem at each step of a receding horizon control framework. We prove correctness of our algorithms, and present experimental results for controller synthesis for building energy and climate control." @default.
• W2604275565 created "2017-04-14" @default.
• W2604275565 creator A5052440523 @default.
• W2604275565 creator A5064230639 @default.
• W2604275565 creator A5068600217 @default.
• W2604275565 creator A5074189357 @default.
• W2604275565 creator A5081324945 @default.
• W2604275565 creator A5088660554 @default.
• W2604275565 date "2017-03-28" @default.
• W2604275565 modified "2023-09-27" @default.
• W2604275565 title "Model Predictive Control for Signal Temporal Logic Specification." @default.
• W2604275565 cites W125641600 @default.
• W2604275565 cites W1527587747 @default.
• W2604275565 cites W1533557569 @default.
• W2604275565 cites W1547304883 @default.
• W2604275565 cites W1787074469 @default.
• W2604275565 cites W1965061618 @default.
• W2604275565 cites W1974875485 @default.
• W2604275565 cites W1977985274 @default.
• W2604275565 cites W1978956894 @default.
• W2604275565 cites W1991698050 @default.
• W2604275565 cites W2006574672 @default.
• W2604275565 cites W2016211524 @default.
• W2604275565 cites W2049399166 @default.
• W2604275565 cites W2061898462 @default.
• W2604275565 cites W2064572756 @default.
• W2604275565 cites W2071797744 @default.
• W2604275565 cites W2091682553 @default.
• W2604275565 cites W2095901198 @default.
• W2604275565 cites W2117218135 @default.
• W2604275565 cites W2136202526 @default.
• W2604275565 cites W2151896566 @default.
• W2604275565 cites W2158620383 @default.
• W2604275565 cites W2165214723 @default.
• W2604275565 cites W2272086451 @default.
• W2604275565 cites W828139470 @default.
• W2604275565 hasPublicationYear "2017" @default.
• W2604275565 type Work @default.
• W2604275565 sameAs 2604275565 @default.
• W2604275565 citedByCount "1" @default.
• W2604275565 countsByYear W26042755652018 @default.
• W2604275565 crossrefType "posted-content" @default.
• W2604275565 hasAuthorship W2604275565A5052440523 @default.
• W2604275565 hasAuthorship W2604275565A5064230639 @default.
• W2604275565 hasAuthorship W2604275565A5068600217 @default.
• W2604275565 hasAuthorship W2604275565A5074189357 @default.
• W2604275565 hasAuthorship W2604275565A5081324945 @default.
• W2604275565 hasAuthorship W2604275565A5088660554 @default.
• W2604275565 hasConcept C104317684 @default.
• W2604275565 hasConcept C11413529 @default.
• W2604275565 hasConcept C126255220 @default.
• W2604275565 hasConcept C127413603 @default.
• W2604275565 hasConcept C134306372 @default.
• W2604275565 hasConcept C146978453 @default.
• W2604275565 hasConcept C154945302 @default.
• W2604275565 hasConcept C15569618 @default.
• W2604275565 hasConcept C172205157 @default.
• W2604275565 hasConcept C185592680 @default.
• W2604275565 hasConcept C199360897 @default.
• W2604275565 hasConcept C203479927 @default.
• W2604275565 hasConcept C204323151 @default.
• W2604275565 hasConcept C25016198 @default.
• W2604275565 hasConcept C2775924081 @default.
• W2604275565 hasConcept C2779843651 @default.
• W2604275565 hasConcept C33923547 @default.
• W2604275565 hasConcept C34388435 @default.
• W2604275565 hasConcept C41008148 @default.
• W2604275565 hasConcept C55439883 @default.
• W2604275565 hasConcept C55493867 @default.
• W2604275565 hasConcept C56086750 @default.
• W2604275565 hasConcept C6557445 @default.
• W2604275565 hasConcept C66746571 @default.
• W2604275565 hasConcept C86803240 @default.
• W2604275565 hasConceptScore W2604275565C104317684 @default.
• W2604275565 hasConceptScore W2604275565C11413529 @default.
• W2604275565 hasConceptScore W2604275565C126255220 @default.
• W2604275565 hasConceptScore W2604275565C127413603 @default.
• W2604275565 hasConceptScore W2604275565C134306372 @default.
• W2604275565 hasConceptScore W2604275565C146978453 @default.
• W2604275565 hasConceptScore W2604275565C154945302 @default.
• W2604275565 hasConceptScore W2604275565C15569618 @default.
• W2604275565 hasConceptScore W2604275565C172205157 @default.
• W2604275565 hasConceptScore W2604275565C185592680 @default.
• W2604275565 hasConceptScore W2604275565C199360897 @default.
• W2604275565 hasConceptScore W2604275565C203479927 @default.
• W2604275565 hasConceptScore W2604275565C204323151 @default.
• W2604275565 hasConceptScore W2604275565C25016198 @default.
• W2604275565 hasConceptScore W2604275565C2775924081 @default.
• W2604275565 hasConceptScore W2604275565C2779843651 @default.
• W2604275565 hasConceptScore W2604275565C33923547 @default.
• W2604275565 hasConceptScore W2604275565C34388435 @default.
• W2604275565 hasConceptScore W2604275565C41008148 @default.
• W2604275565 hasConceptScore W2604275565C55439883 @default.
• W2604275565 hasConceptScore W2604275565C55493867 @default.
• W2604275565 hasConceptScore W2604275565C56086750 @default.
• W2604275565 hasConceptScore W2604275565C6557445 @default.
• W2604275565 hasConceptScore W2604275565C66746571 @default.
• W2604275565 hasConceptScore W2604275565C86803240 @default.
• W2604275565 hasLocation W26042755651 @default.
• W2604275565 hasOpenAccess W2604275565 @default.

• next