Pages that link to "Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems"

What links here

Page:  Namespace:  all (Main) Talk User User talk Murray.cds Murray.cds talk File File talk MediaWiki MediaWiki talk Template Template talk Help Help talk Category Category talk Property Property talk Form Form talk Concept Concept talk smw/schema smw/schema talk Rule Rule talk Module Module talk  Invert selection

Filters

Hide transclusions | Hide links | Hide redirects

The following pages link to Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems:

Displayed 4 items.

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

• Projects ‎ (← links)
• SURF 2013 ‎ (← links)
• Protocol Synthesis (Boeing) (redirect page) ‎ (← links)
• Boeing (redirect page) ‎ (← links)
  • Control System Analysis on Symmetric Cones ‎ (← links)
  • Synthesis of Distributed Longitudinal Control 1 Protocols for a Platoon of Autonomous Vehicles ‎ (← links)
  • A Compositional Approach to Stochastic Optimal Control with Co-safe Temporal Logic Specifications ‎ (← links)
  • Efficient control synthesis for augmented finite transition systems with an application to switching protocols ‎ (← links)
  • A Compositional Approach to Stochastic Optimal Control with Temporal Logic Specifications ‎ (← links)
  • Optimization-based Control of Nonlinear Systems with Linear Temporal Logic Specifications ‎ (← links)
  • Moving bounding boxes and incremental synthesis for dynamic obstacles ‎ (← links)
  • Optimal Control of Nonlinear Systems with Temporal Logic Specifications ‎ (← links)
  • Automaton-Guided Controller Synthesis for Nonlinear Systems with Temporal Logic ‎ (← links)
  • Optimal Control of Non-deterministic Systems for a Computationally Efficient Fragment of Temporal Logic ‎ (← links)
  • Synthesis of Control Protocols for Autonomous Systems ‎ (← links)
  • An Aircraft Electric Power Testbed for Validating Automatically Synthesized Reactive Control Protocols ‎ (← links)
  • Pre-orders for Reasoning about Input-to-State Stability Properties of Hybrid Systems ‎ (← links)
  • Computing Augmented Finite Transition Systems to Synthesize Switching Protocols for Polynomial Switched Systems ‎ (← links)
  • Convex optimal uncertainty quantification: Algorithms and a case study in energy storage placement for power grids ‎ (← links)
  • Just-in-time synthesis for motion planning with temporal logic ‎ (← links)
  • Efficient reactive controller synthesis for a fragment of linear temporal logic ‎ (← links)
  • Patching task-level robot controllers based on a local μ-calculus formula ‎ (← links)
  • Robot Navigation in Dense Human Crowds: the Case for Cooperation ‎ (← links)
  • Synthesis of Reactive Switching Protocols from Temporal Logic Specifications ‎ (← links)
  • Reactive Protocols for Aircraft Electric Power Distribution ‎ (← links)
  • Robust Control of Uncertain Markov Decision Processes with Temporal Logic Specifications ‎ (← links)
  • Synthesis of Reactive Control Protocols for Differentially Flat Systems ‎ (← links)
  • Towards Formal Synthesis of Reactive Controllers for Dexterous Robotic Manipulation ‎ (← links)
  • On Synthesizing Robust Discrete Controllers under Modeling Uncertainty ‎ (← links)
  • Synthesis of Switching Protocols from Temporal Logic Specifications ‎ (← links)
  • Temporal Logic Control of Switched Affine Systems with an Application in Fuel Balancing ‎ (← links)
  • Backtracking temporal logic synthesis for uncertain environments ‎ (← links)
  • Distributed Power Allocation for Vehicle Management Systems ‎ (← links)
  • Optimization-Based Navigation for the DARPA Grand Challenge ‎ (← links)
  • Ivan Papusha ‎ (← links)
  • Admin/Group members ‎ (← links)
  • User:Admin/Projects ‎ (← links)
  • Template:HTDB funding::Boeing ‎ (← links)
  • Template:HTDB funding::Boeing, MuSyC ‎ (← links)
  • Template:HTDB funding::VaVMURI, Boeing ‎ (← links)

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)