A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
Application of Bhave Toolset for System Control and Electronic System Design
Behavioural Hybrid Process Calculus (BHPC) is a formalism for modelling and analysis of hybrid systems combining process algebras and the behavioural approach for modelling of instantaneous changes and continuous evolution. BHPC is supported by Bhave toolset, containing a tool for a novel way of visualisation of hybrid systems simulations msp-svg and a new version of hybrid simulator. We present the latest developments of Bhave toolset and apply it for case studies of system control and mixed-signal systems design.fatcat:bb5s2xd4vbaixng45dzu6omddu