You are here

Event Details

MP Associates, Inc.
MONDAY October 14, 10:30am - 12:00pm | KC 905/907
Modeling and Design I
Edward A. Lee - Univ. of California, Berkeley
The session will present papers on modeling and design of embedded systems

1C.1Deriving Equations from Sensor Data Using Dimensional Function Synthesis
 Speaker: Vasileios Tsoutsouras - Cambridge Univ.
 Authors: Sam Willis - Cambridge Univ.
Youchao Wang - Cambridge Univ.
Vasileios Tsoutsouras - Cambridge Univ.
Phillip Stanley-Marbell - Massachusetts Institute of Technology
1C.2A Dual-Mode Strategy for Performance-Maximisation and Resource-Efficient CPS Design
 Speaker: Wanli Chang - Univ. of York
 Authors: Xiaotian Dai - Univ. of York
Wanli Chang - Univ. of York
Shuai Zhao - Univ. of York
Alan Burns - Univ. of York
1C.3Coherent extension, composition, and merging operators in contract models for system design
 Speaker: Roberto Passerone - Univ. of Trento, Italy
 Authors: Roberto Passerone - Univ. of Trento, Italy
Íñigo Íncer-Romeo - Univ. of California, Berkeley
Alberto Sangiovanni Vincentelli - Univ. of California, Berkeley