Matches in SemOpenAlex for { <https://semopenalex.org/work/W1804792106> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1804792106 abstract "Cyber-physical systems integrate computation, networking, and physical processes. Substantial research challenges exist in the design and verification of such large-scale, distributed sensing, ac- tuation, and control systems. Rapidly improving technology and recent advances in control theory, networked systems, and computer science give us the opportunity to drastically improve our approach to integrated flow of information and cooperative behavior. Current systems rely on text-based spec- ifications and manual design. Using new technology advances, we can create easier, more efficient, and cheaper ways of developing these control systems. This thesis will focus on design considera- tions for system topologies, ways to formally and automatically specify requirements, and methods to synthesize reactive control protocols, all within the context of an aircraft electric power system as a representative application area. This thesis consists of three complementary parts: synthesis, specification, and design. The first section focuses on the synthesis of central and distributed reactive controllers for an aircraft elec- tric power system. This approach incorporates methodologies from computer science and control. The resulting controllers are correct by construction with respect to system requirements, which are formulated using the specification language of linear temporal logic (LTL). The second section addresses how to formally specify requirements and introduces a domain-specific language for electric power systems. A software tool automatically converts high-level requirements into LTL and synthesizes a controller. The final sections focus on design space exploration. A design methodology is proposed that uses mixed-integer linear programming to obtain candidate topologies, which are then used to synthesize controllers. The discrete-time control logic is then verified in real-time by two methods: hardware and simulation. Finally, the problem of partial observability and dynamic state estimation is ex- plored. Given a set placement of sensors on an electric power system, measurements from these sensors can be used in conjunction with control logic to infer the state of the system." @default.
- W1804792106 created "2016-06-24" @default.
- W1804792106 creator A5029859881 @default.
- W1804792106 date "2013-01-01" @default.
- W1804792106 modified "2023-09-27" @default.
- W1804792106 title "Design, Specification, and Synthesis of Aircraft Electric Power Systems Control Logic" @default.
- W1804792106 doi "https://doi.org/10.7907/qdjn-bb72." @default.
- W1804792106 hasPublicationYear "2013" @default.
- W1804792106 type Work @default.
- W1804792106 sameAs 1804792106 @default.
- W1804792106 citedByCount "3" @default.
- W1804792106 countsByYear W18047921062017 @default.
- W1804792106 countsByYear W18047921062018 @default.
- W1804792106 crossrefType "dissertation" @default.
- W1804792106 hasAuthorship W1804792106A5029859881 @default.
- W1804792106 hasConcept C111919701 @default.
- W1804792106 hasConcept C113775141 @default.
- W1804792106 hasConcept C119599485 @default.
- W1804792106 hasConcept C120314980 @default.
- W1804792106 hasConcept C121332964 @default.
- W1804792106 hasConcept C127413603 @default.
- W1804792106 hasConcept C133731056 @default.
- W1804792106 hasConcept C151730666 @default.
- W1804792106 hasConcept C163258240 @default.
- W1804792106 hasConcept C17500928 @default.
- W1804792106 hasConcept C199845137 @default.
- W1804792106 hasConcept C201995342 @default.
- W1804792106 hasConcept C203479927 @default.
- W1804792106 hasConcept C2779343474 @default.
- W1804792106 hasConcept C41008148 @default.
- W1804792106 hasConcept C62520636 @default.
- W1804792106 hasConcept C6557445 @default.
- W1804792106 hasConcept C86803240 @default.
- W1804792106 hasConcept C89227174 @default.
- W1804792106 hasConceptScore W1804792106C111919701 @default.
- W1804792106 hasConceptScore W1804792106C113775141 @default.
- W1804792106 hasConceptScore W1804792106C119599485 @default.
- W1804792106 hasConceptScore W1804792106C120314980 @default.
- W1804792106 hasConceptScore W1804792106C121332964 @default.
- W1804792106 hasConceptScore W1804792106C127413603 @default.
- W1804792106 hasConceptScore W1804792106C133731056 @default.
- W1804792106 hasConceptScore W1804792106C151730666 @default.
- W1804792106 hasConceptScore W1804792106C163258240 @default.
- W1804792106 hasConceptScore W1804792106C17500928 @default.
- W1804792106 hasConceptScore W1804792106C199845137 @default.
- W1804792106 hasConceptScore W1804792106C201995342 @default.
- W1804792106 hasConceptScore W1804792106C203479927 @default.
- W1804792106 hasConceptScore W1804792106C2779343474 @default.
- W1804792106 hasConceptScore W1804792106C41008148 @default.
- W1804792106 hasConceptScore W1804792106C62520636 @default.
- W1804792106 hasConceptScore W1804792106C6557445 @default.
- W1804792106 hasConceptScore W1804792106C86803240 @default.
- W1804792106 hasConceptScore W1804792106C89227174 @default.
- W1804792106 hasLocation W18047921061 @default.
- W1804792106 hasOpenAccess W1804792106 @default.
- W1804792106 hasPrimaryLocation W18047921061 @default.
- W1804792106 hasRelatedWork W130022105 @default.
- W1804792106 hasRelatedWork W1586989484 @default.
- W1804792106 hasRelatedWork W1889554705 @default.
- W1804792106 hasRelatedWork W1969567036 @default.
- W1804792106 hasRelatedWork W1977786379 @default.
- W1804792106 hasRelatedWork W1998054782 @default.
- W1804792106 hasRelatedWork W2044196177 @default.
- W1804792106 hasRelatedWork W2071459704 @default.
- W1804792106 hasRelatedWork W2078484125 @default.
- W1804792106 hasRelatedWork W2086042007 @default.
- W1804792106 hasRelatedWork W2112342905 @default.
- W1804792106 hasRelatedWork W2121169561 @default.
- W1804792106 hasRelatedWork W2121682657 @default.
- W1804792106 hasRelatedWork W2135834973 @default.
- W1804792106 hasRelatedWork W2183216357 @default.
- W1804792106 hasRelatedWork W261303377 @default.
- W1804792106 hasRelatedWork W3000340271 @default.
- W1804792106 hasRelatedWork W3091456275 @default.
- W1804792106 hasRelatedWork W591480010 @default.
- W1804792106 hasRelatedWork W94358299 @default.
- W1804792106 isParatext "false" @default.
- W1804792106 isRetracted "false" @default.
- W1804792106 magId "1804792106" @default.
- W1804792106 workType "dissertation" @default.