Difference between revisions of "ICyPhy Webex Feb 4 2012"

From MurrayWiki
Jump to: navigation, search
Line 19: Line 19:
  
 
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.
+
* [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.
* 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.
+
* [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.
* 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/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).
 
* [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:52, 5 February 2013

Presentations:

Possible directions for future work:

  1. Continuous-time synthesis
  2. Modelica like component models
  3. Identify parts of the design process where logic has to be designed by hand (so that we can try out synthesis).
  4. Sensor placement/sensor logic
  5. A unified language to capture multiple views (contract like specs in this language)
  6. 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?)
  7. More interesting distributed control architectures:
    1. allowing controllers to share contactors
    2. allowing decisions to be made by voting
    3. mapping sensing and control points to controllers
    4. automatically finding local contracts for controllers

References: