Difference between revisions of "ICyPhy Webex Feb 4 2012"
From Murray Wiki
Jump to navigationJump to search
| Line 20: | Line 20: | ||
References: | References: | ||
* J. Finn, M. Mazumdar, A. Sangiovanni-Vincentelli, [http://www.musyc.org/thms/distributed/EPSmodelingSysML_V_02.pdf 767 Electric Power System Modeling in SysML], MuSyC Public Report. | * J. Finn, M. Mazumdar, A. Sangiovanni-Vincentelli, [http://www.musyc.org/thms/distributed/EPSmodelingSysML_V_02.pdf 767 Electric Power System Modeling in SysML], MuSyC Public Report. | ||
* Robert Rogersten, Huan Xu, Necmiye Ozay, Ufuk Topcu, and Richard M. Murray, [http://www.cds.caltech.edu/~murray/preprints/rog+13-hscc_s.pdf An Aircraft Electric Power Testbed for Validating Automatically Synthesized Reactive Control Protocols], Hybrid Systems: Computation and Control (HSCC) 2013 | * Robert Rogersten, Huan Xu, Necmiye Ozay, Ufuk Topcu, and Richard M. Murray, [http://www.cds.caltech.edu/~murray/preprints/rog+13-hscc_s.pdf An Aircraft Electric Power Testbed for Validating Automatically Synthesized Reactive Control Protocols], Hybrid Systems: Computation and Control (HSCC) 2013. | ||
* Huan Xu, Necmiye Ozay and Richard M. Murray, [http://www.cds.caltech.edu/~murray/preprints/xom13-hscc_s.pdf A Domain-Specific Language for Reactive Control Protocols for Aircraft Electric Power Systems], working paper. | * Huan Xu, Necmiye Ozay and Richard M. Murray, [http://www.cds.caltech.edu/~murray/preprints/xom13-hscc_s.pdf A Domain-Specific Language for Reactive Control Protocols for Aircraft Electric Power Systems], 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) | * [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}} | * {{otm11-cdc}} | ||
* {{otwm11-iccps}} | * {{otwm11-iccps}} | ||
* {{Won+11-hscc}} | * {{Won+11-hscc}} | ||
Revision as of 05:51, 5 February 2013
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.
- Robert Rogersten, Huan Xu, Necmiye Ozay, Ufuk Topcu, and Richard M. Murray, An Aircraft Electric Power Testbed for Validating Automatically Synthesized Reactive Control Protocols, Hybrid Systems: Computation and Control (HSCC) 2013.
- Huan Xu, Necmiye Ozay and Richard M. Murray, A Domain-Specific Language for Reactive Control Protocols for Aircraft Electric Power Systems, working paper.
- Reactive Protocols for Aircraft Electric Power Distribution, Huan Xu, Ufuk Topcu, and Richard M. Murray. 2012 Conference on Decision and Control (CDC).
- Distributed Power Allocation for Vehicle Management Systems, Necmiye Ozay, Ufuk Topcu and Richard M. Murray. IEEE Conference on Decision and Control (CDC), 2011.
- Distributed Synthesis of Control Protocols for Smart Camera Networks, Necmiye Ozay, Ufuk Topcu, Tichakorn Wongpiromsarn, Richard M. Murray. ACM/IEEE Second International Conference on Cyber-Physical Systems, 2011.
- TuLiP: a software toolbox for receding horizon temporal logic planning, Tichakorn Wongpiromsarn, Ufuk Topcu, Necmiye Ozay, Huan Xu, and Richard M. Murray. International Conference on Hybrid Systems: Computation and Control, 2011.
