Use this url to cite publication: https://hdl.handle.net/20.500.12259/40525
Application of Bhave toolset for system control and electronic system design
Type of publication
Straipsnis konferencijos medžiagoje Scopus duomenų bazėje / Article in conference proceedings in Scopus database (P1a2)
Author(s)
Author | Affiliation | |
---|---|---|
Man, Ka Lok | ||
Title [en]
Application of Bhave toolset for system control and electronic system design
Is part of
IMECS 2010 : Proceedings of the international multiconference of engineers and computer scientists, 17-19 March, 2010, Hong Kong. Vol. 2. Hong Kong : International Association of Engineer, 2010
Date Issued
Date |
---|
2010 |
Publisher
Hong Kong : International Association of Engineer, 2010
Is Referenced by
Extent
p. 1336-1341
Abstract (en)
(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.
Type of document
type::text::journal::journal article::research article
Language
Anglų / English (en)
Coverage Spatial
Taivanas / Taiwan Province of China (TW)
Description
ISSN: 2078-0958 (Print); ISSN: 2078-0966 (Online)
ISBN (of the container)
9789881821041
Other Identifier(s)
VDU02-000015916