Browse wiki

From MurrayWiki
Jump to: navigation, search
Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems
Agency Boeing  +
End date 1 June 2016  +
ID Boeing  +
Start date 1 January 2012  +
Has query
"Has query" is a predefined property that represents meta information (in form of a subobject) about individual queries.
Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems + , Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems + , Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems +
Categories Completed projects
Modification date
This property is a special property in this wiki.
19 June 2016 15:08:26  +
hide properties that link here 
A Compositional Approach to Stochastic Optimal Control with Co-safe Temporal Logic Specifications + , A Compositional Approach to Stochastic Optimal Control with Temporal Logic Specifications + , An Aircraft Electric Power Testbed for Validating Automatically Synthesized Reactive Control Protocols + , Automaton-Guided Controller Synthesis for Nonlinear Systems with Temporal Logic + , Backtracking temporal logic synthesis for uncertain environments + , Computing Augmented Finite Transition Systems to Synthesize Switching Protocols for Polynomial Switched Systems + , Control System Analysis on Symmetric Cones + , Convex optimal uncertainty quantification: Algorithms and a case study in energy storage placement for power grids + , Distributed Power Allocation for Vehicle Management Systems + , Efficient control synthesis for augmented finite transition systems with an application to switching protocols + , Efficient reactive controller synthesis for a fragment of linear temporal logic + , Just-in-time synthesis for motion planning with temporal logic + , Moving bounding boxes and incremental synthesis for dynamic obstacles + , On Synthesizing Robust Discrete Controllers under Modeling Uncertainty + , Optimal Control of Non-deterministic Systems for a Computationally Efficient Fragment of Temporal Logic + , Optimal Control of Nonlinear Systems with Temporal Logic Specifications + , Optimization-Based Navigation for the DARPA Grand Challenge + , Optimization-based Control of Nonlinear Systems with Linear Temporal Logic Specifications + , Patching task-level robot controllers based on a local μ-calculus formula + , Pre-orders for Reasoning about Input-to-State Stability Properties of Hybrid Systems + ... Funding
Ivan Papusha + Previous projects
Boeing + redirect page
 

 

Enter the name of the page to start browsing from.