Simulation of mechatronic systems using behavioural hybrid process calculus

Abstract

Augantis susidomėjimas hibridinėmis sistemomis informatikoje ir automatikoje skatina domėtis naujais formalizmais, skirtais hibridinėms sistemoms jungiančioms tolydų ir diskretų elgesį, modeliuoti ir imituoti. Imitavimas yra įrankis, leidžiantis sužinoti daugiau apie dinaminių sistemų elgseną. Imitavimo rezultatai suteikia informaciją apie sistemos efektyvumą, leidžia aptikti klaidas ir parinkti tinkamą valdymo strategiją ir parametrus. Straipsnyje pateikiama šiuo metu atliekamo tyrimo rezultatai: „Behavioural Hybrid Process Calculus“ (BHPC) imitacinio modeliavimo metodika ir įrankio prototipas. BHPC yra klasikinių procesų algebrų išplėtimas, skirtas hibridinių sistemų modeliavimui ir analizei

The growing interest in hybrid systems both in computer science and control theory has generated an interest in formalisms that can be used to specify and analyse such systems, systems that combine continuous-time and discrete behaviours. Simulation is one of the tools to obtain insight in dynamical systems behaviour. Its results provide information on performance of system, are helpful in detecting potential errors, and are handy in choosing adequate control strategies and parameters. We report a work in progress, a technique and a prototype for simulation of Behavioural Hybrid Process Calculus, an extension of process algebra suitable for the modelling and analysis of hybrid systems