View source for ICyPhy Webex Feb 4 2012


Presentations:
* [http://www.icyphy.org/icyphy/wiki/uploads/Main/NOzay-Feb4  Overview of the MuSyC challenge problem (Necmiye)]
* [http://www.icyphy.org/icyphy/wiki/uploads/Main/PNuzzo-Feb4  Review of Berkeley modeling and design space exploration work (Pierluigi)] - limited access on iCyPhy wiki
* [https://www.cds.caltech.edu/~murray/wiki/images/2/20/MXu_ControlSynthesis_WebEx_4Feb13_iCyPhy.pdf  Review of Caltech correct-by-construction synthesis work (Mumu)]

Possible directions for future work:
# Continuous-time synthesis
# Modelica like component models
# Identify parts of the design process where logic has to be designed by hand (so that we can try out synthesis).
# Sensor placement/sensor logic
# A unified language to capture multiple views (contract like specs in this language)
# Possible ways to integrate EPS domain specific language and LTL spec generator to other design tools (what that language can/should capture to be useful?)
# More interesting distributed control architectures: 
## allowing controllers to share contactors
## allowing decisions to be made by voting
## mapping sensing and control points to controllers
## automatically finding local contracts for controllers

References:
* [http://www.musyc.org/thms/distributed/EPSmodelingSysML_V_02.pdf  767 Electric Power System Modeling in SysML], J. Finn, M. Mazumdar, and A. Sangiovanni-Vincentelli. MuSyC Public Report.
* [http://www.cds.caltech.edu/~murray/preprints/rog+13-hscc_s.pdf An Aircraft Electric Power Testbed for Validating Automatically Synthesized Reactive Control Protocols], Robert Rogersten, Huan Xu, Necmiye Ozay, Ufuk Topcu, and Richard M. Murray. Hybrid Systems: Computation and Control (HSCC) 2013.
* [http://www.cds.caltech.edu/~murray/preprints/xom13-hscc_s.pdf A Domain-Specific Language for Reactive Control Protocols for Aircraft Electric Power Systems], Huan Xu, Necmiye Ozay and Richard M. Murray, working paper.
* [http://www.cds.caltech.edu/~murray/papers/2012g_xtm12-cdc.html Reactive Protocols for Aircraft Electric Power Distribution], Huan Xu, Ufuk Topcu, and Richard M. Murray. 2012 Conference on Decision and Control (CDC).
* {{otm11-cdc}}
* {{Won+11-hscc}}