170 likes | 371 Views
CIRP DESIGN SEMINAR 2003 12-14 may, 2003, GRENOBLE. COOPERATIVE TOOLS FOR SPECIFICATION AND MODELLING OF COMPLEX SYSTEMS Faiçal Miled, Denis Choulier, and Michel Ferney Laboratoire M3M Université de Technologie de Belfort-Montbéliard - 90010 Belfort Cedex (France)
E N D
CIRP DESIGN SEMINAR 2003 12-14 may, 2003, GRENOBLE COOPERATIVE TOOLS FOR SPECIFICATION AND MODELLING OF COMPLEX SYSTEMS Faiçal Miled, Denis Choulier, and Michel Ferney Laboratoire M3M Université de Technologie de Belfort-Montbéliard - 90010 Belfort Cedex (France) Phone: 03 84 58 33 40 – Fax: 03 84 58 31 46 {faical.miled, denis.choulier, michel.ferney}@utbm.fr M3M LABORATORY University of technology of Belfort Montbéliard - http://www.utbm.fr
Tools Matrixial table Clarification Petri nets Bond graphs Conceptual Bond graph simulation tools …. Problem Functionalspecification Functional validation of the active part Structural model of the passive part Validation of the structural model of the passive part Control and simulations
INDEX OF THE PRESENTATION • I. CLASS OF THE STUDIED SYSTEMS • II.SPECIFICATION APPROACH • III.APPLICATION: Automatic transmission of a scooter QUALITATIVE SPECIFICATION: QUANTITATIVE SPECIFICATION: • IV. FUNCTIONAL MODELLING BY PETRI NETS METHOD: ACTIVE PART VALIDATION: • V. NEXT STAGE OF DESIGN PROCESS: Conceptual design • VI.CONCLUSIONS AND PROSPECTS M3M LABORATORY University of technology of Belfort Montbéliard - http://www.utbm.fr
HYBRID SYSTEM Technical_System i SUj TRj CUi WU WU Energy Need Functions SU: Source Unit SUi TRi TR: TRansmission WU: Work Unit TU CU: Control Unit Technical_Systemj TU: Transitions Unit CUj *Informations flow *Power link Need Functions Energy I. CLASSE OF THE STUDIED SYSTEMS Passive part Active part WU ARCHITECTURAL DESCRIPTION: LEGENDE M3M LABORATORY
CUs manage continuous behaviour, their design depends on control criteria SUj TRj WU WU TU manage discrete behaviour, its design depends on technological criteria I. CLASSE OF THE STUDIED SYSTEMS Passive part Active part WU ARCHITECTURAL DESCRIPTION: HYBRID SYSTEM Technical_System i CUi Energy Need Functions SUi TRi SDi TU Technical_Systemj CUj Need Functions Energy SDj SD: Set to be Designed M3M LABORATORY
DIRECTIVES: For hybrid system: • TRs are to be specified: They complete passive part (SUs and WU are preset ) • CUs and TU are to be specified: They form the active part • Designers must establish strong interaction between passive and active parts: Passive part must verify control criteria • Our paper presents a methodology to establish coherent specifications of the SDs and TU M3M LABORATORY
ANALYSE WU SUs SDs , TU SPECIFICATION II. SPECIFICATION APPROACH • An approach based on the states and transitions: Behavioural functions • The system to be conceived must reach operating states and ensure transitions. The analyse of: • SUs: Depends principally on its power characteristics; • WU: Represents a translation of need functions; The specification of: • SDs and TU: Deduced from the analyse of SUs and WU. M3M LABORATORY
QUALITATIVE SPECIFICATION: Objective: Identification of discrete behaviour Means: Study transitions between states - Supported by the use of a symbolic vocabulary to predict the system behaviour -It represents the first level of abstraction for specifying system QUANTITATIVE SPECIFICATION: Objective: Study the continuous behaviour of each technical system Means: Quantify states and transitions - Supported by a quantification of states with specific parameters in relation with power components - It represents a second level of abstraction for specifying system M3M LABORATORY
AND Possible Exist Impossible Desired Ø Not desired SU WU CONFLICT CONFLICT NATURE OF TRANSITIONS: The pre-existent elements acts such that the transition: In order to realize design, the transition is: TABLE OF CONSISTENCES: M3M LABORATORY
nature of transitions between states of SU States of SU States of WU Ee1 Een Ew1 SU WU Ewm States and nature of transitions between states of TR nature of transitions between states of WU MATRIXIAL TABLE: A COOPERATIF TOOL X 0 M3M LABORATORY
SU TR WU III. APPLICATION: Automatic transmission of a scooter TRANSMISSION ENVIRONMENT AND EXPRESSION OF THE NEED: • Existent elements: *SU:Thermal engine *WU: Back wheel • The userinstructions: *Desired speed with maximum efficiency; * Maximum speed; * Disconnect engine. • Engine will be considerate as a modulated source: Modulation will be managed by CU(s) • We must control engine speed and Back Wheel Speed M3M LABORATORY
QUALITATIVE SPECIFICATION: • Qualitative specification needs basic knowledge's of the system • The analyse of SU and WU implies SD and TUqualitative specification 0 0 1 1 Stand by engine Ee1 Idling engine Ee2 Generator engine Ee3 Receiver engine Ee4 WU SU Free wheel Ew1 0 X X 0 0 Receiving wheel Ew2 0 X 1 0 0 Driving wheel Ew3 0 0 0 X 1 Qualitatif states Matrixial Table M3M LABORATORY
m Maximum-Power Pe 1 0 e p_max Maximum-Power efficiency Te SU Ee32 Ee31 WU m i: engine load X 0 Ew21 X Ew22 0 1 Ew23 X 0 0 e r_max QUANTITATIVE SPECIFICATION: * The quantitative states related to Ee3 are: – Ee3,1: Maximum power; – Ee3,2: Maximum power engine efficiency. * The quantitative states related to Ew2 are: – Ew21: Maximum torque applied to the wheel; – Ew22: Follow a speed instruction; – Ew23: Reach maximum speed. M3M LABORATORY
IV. FUNCTIONAL MODELLING BY PETRI NETS: METHOD: Petri Net is a hierarchical modelling tool: • We affect each qualitative state to Petri Net model place • We affect each quantitative state to a substitution place Hier-level Petri Net: Qualitative modelling Low level Petri Net: Quantitative modelling P2 P1 T23 P22 T5 T22 T3 T4 T1 T24 P21 T25 P2 P3 T21 P23 P23 T2 M3M LABORATORY
ACTIVE PART VALIDATION: P2 T23 P22 T4 P1 T1 T22 T24 P21 T25 T5 T3 T21 P23 P23 T2 P3 Validation is made by: • Study of structural properties of Petri Net: Liveliness and accessibility; • Simulation of different use cases. M3M LABORATORY
P2 T23 T4 P22 I:Jm P1 T1 T22 T24 P21 T25 Cm m 1 Se : T5 T3 T21 P23 P23 P3 T2 MSe :u2 SU TR WU I:Jm I:Jeq Cpr r Cm m : Se 1 M.T.F .. m 1 MSe :u1 0 y2 y1 R(r) V. NEXT STAGE OF DESIGN PROCESS: Conceptual design M3M LABORATORY
VI. CONCLUSIONS A cooperative tools for the synthesis of a valid technical specifications is proposed; The multidisciplinary specification approach is based on a "state-transitions" language; Matrixial tables allow for the visualisation and the application of consistence's rules which guarantee the coherence with the existing parts; The passage to Petri Net models permits the validation of the active part; AND PROSPECTS The generation of TRs alternatives design should take into account control criteria, which are verified directly on bond-graph model; Petri Net and bond-graph models form a complete virtual prototype of the application; This prototype also makes possible to carry out qualitative, then quantitative simulations. M3M LABORATORY