Bhave toolset: Modeling and analysis of electronic system design and system control

K. L. Man, T. Krilavičius, Š Valaškevičius, Yanyan Wu, J. K. Seon

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)


Behavioral Hybrid Process Calculus (BHPC) is a formalism for Modeling and analysis of hybrid systems combining process algebras and the behavioral approach for Modeling of instantaneous changes and continuous evolution. BHPC is supported by Bhave toolset, containing a tool for a novel way of visualization of hybrid systems simulations msp-svg and a new version of hybrid simulator. In this paper, we present the latest developments of Bhave toolset and apply it for case studies of system control and electronic system design.

Original languageEnglish
JournalEngineering Letters
Issue number3
Publication statusPublished - Aug 2010


  • Electronic system design
  • Formal methods
  • Hybrid systems
  • Simulation

Cite this