TY - GEN
T1 - Appropriate design guided by simulation
T2 - 3rd Workshop on Model-Driven Robot Software Engineering, MORSE 2016
AU - Dit Sandretto, Julien Alexandre
AU - De Suza, Douglas Picciani
AU - Chapoutot, Alexandre
N1 - Publisher Copyright:
© 2016 ACM.
PY - 2016/7/1
Y1 - 2016/7/1
N2 - A design methodology based on simulation of dynamical behavior is presented in this paper. The particularity of our method is that it exploits the set-membership simulation. Indeed, this method allows one to consider an interval of values for each parameter of the dynamical model. Finding the parameters validating the requirements is then a filter, based on a Branch and Prune algorithm. We prefer an approach of appropriate design that is a design which validates the physical constraints coming from requirements, to an optimal design which does not lead to satisfy imperative requirements. Our method is described and applied on the complex problem of design of an hovercraft under dynamic requirements.
AB - A design methodology based on simulation of dynamical behavior is presented in this paper. The particularity of our method is that it exploits the set-membership simulation. Indeed, this method allows one to consider an interval of values for each parameter of the dynamical model. Finding the parameters validating the requirements is then a filter, based on a Branch and Prune algorithm. We prefer an approach of appropriate design that is a design which validates the physical constraints coming from requirements, to an optimal design which does not lead to satisfy imperative requirements. Our method is described and applied on the complex problem of design of an hovercraft under dynamic requirements.
KW - Design
KW - Interval arithmetic
KW - Validated simulation
U2 - 10.1145/3022099.3022100
DO - 10.1145/3022099.3022100
M3 - Conference contribution
AN - SCOPUS:85018307947
T3 - ACM International Conference Proceeding Series
SP - 1
EP - 8
BT - Proceedings of the 3rd Workshop Model-Driven Robot Software Engineering, MORSE 2016
A2 - Piechnick, Christian
A2 - Brugali, Davide
A2 - Assmann, Uwe
PB - Association for Computing Machinery
Y2 - 1 July 2016
ER -