Pages that link to "ICyPhy"

The following pages link to ICyPhy:

Displayed 13 items.

• An Iterative Abstraction Algorithm for Reactive Correct-by-Construction Controller Synthesis ‎ (← links)
• Multi-dimensional state estimation in adversarial environment ‎ (← links)
• Cross-entropy Temporal Logic Motion Planning ‎ (← links)
• Privacy Preserving Average Consensus ‎ (← links)
• A Contract-Based Methodology for Aircraft Electric Power System Design ‎ (← links)
• Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution ‎ (← links)
• Efficient control synthesis for augmented finite transition systems with an application to switching protocols ‎ (← links)
• Synthesis of Correct-by-construction Control Protocols for Hybrid Systems Using Partial State Information ‎ (← links)
• Synthesis and Validation of Control Software For A Vehicular Electric Power Distribution Testbed ‎ (← links)
• Dynamic State Estimation in Distributed Aircraft Electric Control Systems via Adaptive Submodularity ‎ (← links)
• Synthesis of Control Protocols for Switched Electrical Power Systems for Commercial Applications with Safety Specifications ‎ (← links)
• Template:HTDB funding::iCyPhy ‎ (← links)
• Template:HTDB funding::MuSyC, iCyPhy ‎ (← links)