Pages that link to "ICyPhy: Industrial Cyber-Physical 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

Show transclusions | Hide links | Hide redirects

The following pages link to ICyPhy: Industrial Cyber-Physical Systems:

Displayed 3 items.

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

• Projects ‎ (← links)
• SURF 2014 ‎ (← links)
• ICyPhy (redirect page) ‎ (← links)
  • 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)

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