Browse wiki

From MurrayWiki
Jump to: navigation, search
ICyPhy: Industrial Cyber-Physical Systems
Agency IBM, UTC  +
End date 31 December 2015  +
Start date 1 January 2013  +
Has query
"Has query" is a predefined property that represents meta information (in form of a subobject) about individual queries.
ICyPhy: Industrial Cyber-Physical Systems +
Categories Completed projects , NCS projects
Modification date
This property is a special property in this wiki.
10 June 2016 04:54:29  +
hide properties that link here 
A Contract-Based Methodology for Aircraft Electric Power System Design + , An Iterative Abstraction Algorithm for Reactive Correct-by-Construction Controller Synthesis + , Cross-entropy Temporal Logic Motion Planning + , Dynamic State Estimation in Distributed Aircraft Electric Control Systems via Adaptive Submodularity + , Efficient control synthesis for augmented finite transition systems with an application to switching protocols + , Multi-dimensional state estimation in adversarial environment + , Privacy Preserving Average Consensus + , Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution + , Synthesis and Validation of Control Software For A Vehicular Electric Power Distribution Testbed + , Synthesis of Control Protocols for Switched Electrical Power Systems for Commercial Applications with Safety Specifications + , Synthesis of Correct-by-construction Control Protocols for Hybrid Systems Using Partial State Information + Funding
ICyPhy + redirect page


Enter the name of the page to start browsing from.