Information for "Template:HTDB funding::Boeing"

Basic information

Display title	Template:HTDB funding::Boeing
Default sort key	HTDB funding::Boeing
Page length (in bytes)	19
Namespace	Template
Page ID	3753
Page content language	en - English
Page content model	wikitext
Indexing by robots	Allowed
Number of redirects to this page	0
Number of subpages of this page	0 (0 redirects; 0 non-redirects)

Page protection

Edit	Allow all users (infinite)
Move	Allow all users (infinite)

View the protection log for this page.

Edit history

Page creator	Murray (talk \| contribs)
Date of page creation	06:01, 15 May 2016
Latest editor	Murray (talk \| contribs)
Date of latest edit	06:06, 15 May 2016
Total number of edits	2
Total number of distinct authors	1
Recent number of edits (within past 90 days)	0
Recent number of distinct authors	0

Page properties

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

Information for "Template:HTDB funding::Boeing"

Basic information

Page protection

Edit history

Page properties

Navigation menu

Page actions

Page actions

Personal tools

Navigation

Search

Tools