Matches in SemOpenAlex for { <https://semopenalex.org/work/W4296586304> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W4296586304 abstract "Software implementations of controllers for physical systems are at the core of many embedded systems. The design of controllers uses the theory of dynamical systems to construct a mathematical control law that ensures that the controlled system has certain properties, such as asymptotic convergence to an equilibrium point, while optimizing some performance criteria. However, owing to quantization errors arising from the use of fixed-point arithmetic, the implementation of this control law can only guarantee practical stability: under the actions of the implementation, the trajectories of the controlled system converge to a bounded set around the equilibrium point, and the size of the bounded set is proportional to the error in the implementation. The problem of verifying whether a controller implementation achieves practical stability for a given bounded set has been studied before. In this paper, we change the emphasis from verification to automatic synthesis. Using synthesis, the need for formal verification can be considerably reduced thereby reducing the design time as well as design cost of embedded control software. We give a methodology and a tool to synthesize embedded control software that is Pareto optimal w.r.t. both performance criteria and practical stability regions. Our technique is a combination of static analysis to estimate quantization errors for specific controller implementations and stochastic local search over the space of possible controllers using particle swarm optimization. The effectiveness of our technique is illustrated using examples of various standard control systems: in most examples, we achieve controllers with close LQR-LQG performance but with implementation errors, hence regions of practical stability, several times as small." @default.
- W4296586304 created "2022-09-22" @default.
- W4296586304 creator A5030109984 @default.
- W4296586304 creator A5068271665 @default.
- W4296586304 creator A5081010207 @default.
- W4296586304 date "2012-04-12" @default.
- W4296586304 modified "2023-09-24" @default.
- W4296586304 title "Synthesis of Minimal Error Control Software" @default.
- W4296586304 doi "https://doi.org/10.48550/arxiv.1204.2857" @default.
- W4296586304 hasPublicationYear "2012" @default.
- W4296586304 type Work @default.
- W4296586304 citedByCount "0" @default.
- W4296586304 crossrefType "posted-content" @default.
- W4296586304 hasAuthorship W4296586304A5030109984 @default.
- W4296586304 hasAuthorship W4296586304A5068271665 @default.
- W4296586304 hasAuthorship W4296586304A5081010207 @default.
- W4296586304 hasBestOaLocation W42965863041 @default.
- W4296586304 hasConcept C11413529 @default.
- W4296586304 hasConcept C119599485 @default.
- W4296586304 hasConcept C126255220 @default.
- W4296586304 hasConcept C127413603 @default.
- W4296586304 hasConcept C134306372 @default.
- W4296586304 hasConcept C154945302 @default.
- W4296586304 hasConcept C17500928 @default.
- W4296586304 hasConcept C199360897 @default.
- W4296586304 hasConcept C203479927 @default.
- W4296586304 hasConcept C2775924081 @default.
- W4296586304 hasConcept C2777904410 @default.
- W4296586304 hasConcept C28855332 @default.
- W4296586304 hasConcept C33923547 @default.
- W4296586304 hasConcept C34388435 @default.
- W4296586304 hasConcept C41008148 @default.
- W4296586304 hasConcept C47446073 @default.
- W4296586304 hasConcept C6557445 @default.
- W4296586304 hasConcept C86803240 @default.
- W4296586304 hasConceptScore W4296586304C11413529 @default.
- W4296586304 hasConceptScore W4296586304C119599485 @default.
- W4296586304 hasConceptScore W4296586304C126255220 @default.
- W4296586304 hasConceptScore W4296586304C127413603 @default.
- W4296586304 hasConceptScore W4296586304C134306372 @default.
- W4296586304 hasConceptScore W4296586304C154945302 @default.
- W4296586304 hasConceptScore W4296586304C17500928 @default.
- W4296586304 hasConceptScore W4296586304C199360897 @default.
- W4296586304 hasConceptScore W4296586304C203479927 @default.
- W4296586304 hasConceptScore W4296586304C2775924081 @default.
- W4296586304 hasConceptScore W4296586304C2777904410 @default.
- W4296586304 hasConceptScore W4296586304C28855332 @default.
- W4296586304 hasConceptScore W4296586304C33923547 @default.
- W4296586304 hasConceptScore W4296586304C34388435 @default.
- W4296586304 hasConceptScore W4296586304C41008148 @default.
- W4296586304 hasConceptScore W4296586304C47446073 @default.
- W4296586304 hasConceptScore W4296586304C6557445 @default.
- W4296586304 hasConceptScore W4296586304C86803240 @default.
- W4296586304 hasLocation W42965863041 @default.
- W4296586304 hasLocation W42965863042 @default.
- W4296586304 hasOpenAccess W4296586304 @default.
- W4296586304 hasPrimaryLocation W42965863041 @default.
- W4296586304 hasRelatedWork W1528047588 @default.
- W4296586304 hasRelatedWork W1567998780 @default.
- W4296586304 hasRelatedWork W1620357657 @default.
- W4296586304 hasRelatedWork W1997094336 @default.
- W4296586304 hasRelatedWork W2075475981 @default.
- W4296586304 hasRelatedWork W2088852141 @default.
- W4296586304 hasRelatedWork W2123322396 @default.
- W4296586304 hasRelatedWork W2128392505 @default.
- W4296586304 hasRelatedWork W2466840294 @default.
- W4296586304 hasRelatedWork W3033909816 @default.
- W4296586304 isParatext "false" @default.
- W4296586304 isRetracted "false" @default.
- W4296586304 workType "article" @default.