학술논문
Bhave Toolset: Modeling and Analysis of Electronic System Design and System Control.
Document Type
Article
Source
Subject
*CALCULUS
*MATHEMATICAL models
*ALGEBRA
*STATISTICAL process control
*ELECTRONIC systems
*
*
*
*
Language
ISSN
1816-093X
Abstract
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. [ABSTRACT FROM AUTHOR]