Pages that link to "Template:HTDB funding::MuSyC"
From Murray Wiki
Jump to navigationJump to search
The following pages link to Template:HTDB funding::MuSyC:
Displayed 16 items.
- Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution (transclusion) (← links)
- Synthesis and Validation of Control Software For A Vehicular Electric Power Distribution Testbed (transclusion) (← links)
- Dynamic State Estimation in Distributed Aircraft Electric Control Systems via Adaptive Submodularity (transclusion) (← links)
- A Domain-Specific Language for Reactive Control Protocols for Aircraft Electric Power Systems (transclusion) (← links)
- An Aircraft Electric Power Testbed for Validating Automatically Synthesized Reactive Control Protocols (transclusion) (← links)
- Computing Augmented Finite Transition Systems to Synthesize Switching Protocols for Polynomial Switched Systems (transclusion) (← links)
- Synthesis of Reactive Switching Protocols from Temporal Logic Specifications (transclusion) (← links)
- Reactive Protocols for Aircraft Electric Power Distribution (transclusion) (← links)
- Synthesis of Reactive Control Protocols for Differentially Flat Systems (transclusion) (← links)
- On Synthesizing Robust Discrete Controllers under Modeling Uncertainty (transclusion) (← links)
- Synthesis of Switching Protocols from Temporal Logic Specifications (transclusion) (← links)
- Temporal Logic Control of Switched Affine Systems with an Application in Fuel Balancing (transclusion) (← links)
- Distributed Power Allocation for Vehicle Management Systems (transclusion) (← links)
- Template:HTDB funding::MuSyC, Boeing (transclusion) (← links)
- Template:HTDB funding::MuSyC, iCyPhy (transclusion) (← links)
- Template:HTDB funding::Boeing, MuSyC (transclusion) (← links)
