ICyPhy Webex Feb 4 2012
From Murray Wiki
Jump to navigationJump to search
!! Presentations:
- Overview of the MuSyC challenge problem (Necmiye)
- Review of Berkeley modeling and design space exploration work (Pierluigi) - limited access on iCyPhy wiki
- 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:
- J. Finn, M. Mazumdar, A. Sangiovanni-Vincentelli, 767 Electric Power System Modeling in SysML, MuSyC Public Report.