]> 2026-08-24T17:32:08+00:00 ICyPhy: Industrial Cyber-Physical Systems 0 en IBM, UTC 2015-12-31Z 2457387.5 2013-01-01Z 2456293.5 2025-12-07T06:17:08Z 2461016.7618982 ICyPhy: Industrial Cyber-Physical Systems 0 1 template 3 [[Category:Papers]] [[Funding::ICyPhy: Industrial Cyber-Physical Systems]] ICyPhy: Industrial Cyber-Physical Systems# QUERYb0ac7cf114aeb515adbfc0228e023d3d An Iterative Abstraction Algorithm for Reactive Correct-by-Construction Controller Synthesis 0 en An Iterative Abstraction Algorithm for Reactive Correct-by-Construction Controller Synthesis Multi-dimensional state estimation in adversarial environment 0 en Multi-dimensional state estimation in adversarial environment Cross-entropy Temporal Logic Motion Planning 0 en Cross-entropy Temporal Logic Motion Planning Privacy Preserving Average Consensus 0 en Privacy Preserving Average Consensus A Contract-Based Methodology for Aircraft Electric Power System Design 0 en A Contract-Based Methodology for Aircraft Electric Power System Design Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution 0 en Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution Efficient control synthesis for augmented finite transition systems with an application to switching protocols 0 en Efficient control synthesis for augmented finite transition systems with an application to switching protocols Synthesis of Correct-by-construction Control Protocols for Hybrid Systems Using Partial State Information 0 en Synthesis of Correct-by-construction Control Protocols for Hybrid Systems Using Partial State Information Synthesis and Validation of Control Software For A Vehicular Electric Power Distribution Testbed 0 en Synthesis and Validation of Control Software For A Vehicular Electric Power Distribution Testbed Dynamic State Estimation in Distributed Aircraft Electric Control Systems via Adaptive Submodularity 0 en Dynamic State Estimation in Distributed Aircraft Electric Control Systems via Adaptive Submodularity Synthesis of Control Protocols for Switched Electrical Power Systems for Commercial Applications with Safety Specifications 0 en Synthesis of Control Protocols for Switched Electrical Power Systems for Commercial Applications with Safety Specifications ICyPhy 0 en ICyPhy Funding 102 en Funding REDI 102 en REDI