Please use this identifier to cite or link to this item:https://hdl.handle.net/20.500.12259/38162
Full metadata record
DC FieldValueLanguage
dc.contributor.authorKrilavičius, Tomas-
dc.contributor.authorMan, Ka Lok-
dc.coverage.spatialNL-
dc.date.accessioned2018-10-06T14:50:44Z-
dc.date.available2018-10-06T14:50:44Z-
dc.date.issued2010-
dc.identifier.isbn9789048135165-
dc.identifier.otherVDU02-000010342-
dc.identifier.urihttps://hdl.handle.net/20.500.12259/38162-
dc.description.abstractProgress in electronics requires novel techniques for modelling, design and production. Formal modelling is a well-known tool for modelling and analysis of diverse systems. Recent studies of the hybrid process algebras show that their application in electronics could improve design quality and reliability of the electronic systems. We present Behavioural Hybrid Process Calculus (BHPC), a formalism for modelling and analysis of hybrid systems combining process algebraic techniques and the behavioural approach in such a way providing means for modelling of instantaneous changes as well as continuous evolution. It is supported by Bhave toolset, a tool collection for modelling, simulation and visualisation of hybrid systems. The toolset contains msp-svg, a tool that provides a novel way for visualisation of hybrid systems – Message Sequence Plots and related tool. Moreover, we illustrate application of BHPC, and in particular, show how it can be effectively used for modelling and analysis of electronic systems in combination with OpenModelica Systemen
dc.description.sponsorshipTaikomosios informatikos katedra-
dc.description.sponsorshipVytauto Didžiojo universitetas-
dc.format.extentp. 429-443-
dc.language.isoen-
dc.relation.ispartofIntelligent Automation and Computer Engineering / ed. Sio-Iong Ao, Oscar Castillo, Hu Huang. Dordrecht [etc.] : Springer, 2010-
dc.relation.ispartofseries(Lecture Notes in Electrical Engineering. Vol. 52 1876-1100)-
dc.relation.isreferencedbySpringerLINK-
dc.relation.isreferencedbyScopus-
dc.subjectProcess algebrasen
dc.subjectVisualisationen
dc.subjectElectronicsen
dc.subjectHybrid systemsen
dc.subject.classificationKnygos dalis / Part of book (Y)-
dc.subject.otherInformatika / Informatics (N009)-
dc.titleBehavioural Hybrid Process Calculus for Modelling and Analysis of Hybrid and Electronic Systems performanceen
dc.typebook part-
dc.identifier.doihttps://doi.org/10.1007/978-90-481-3517-2_33-
dcterms.bibliographicCitation20-
dc.date.updated2014-08-18T14:22Z-
local.object{"source": {"code": "vdu", "handle": "10342"}, "publisher": {"name": "Springer", "list": true}, "db": {"clarivate": false, "scopus": true, "list": true}, "isbn": ["9789048135165"], "doi": "10.1007/978-90-481-3517-2_33", "code": "Y", "subject": ["N009"], "country": "NL", "language": "en", "area": "N", "original": true, "pages": 15, "sheets": 1.071, "timestamp": "20140818142220.0", "account": {"year": 2010, "late": false}, "na": 2, "nip": 1, "affiliation": [{"contribution": 0.5, "aip": 1, "country": ["LT"], "rel": "aut", "org": [{"create": true, "contribution": 0.5, "name": "Vytauto Didžiojo universitetas", "id": "111950396", "level": "0", "type": "uni", "research": "1", "status": "1", "unit": {"name": "Informatikos fakultetas", "id": "04", "level": "1", "type": "fak", "research": "1", "status": "1", "unit": {"name": "Taikomosios informatikos katedra", "id": "0401", "level": "2", "type": "kat", "research": "1", "status": "1"}}}], "id": "DD5A5F9F9ADFA0BC37D24E1184ED5391", "lname": "Krilavičius", "fname": "Tomas", "status": "1", "name": "Krilavičius, Tomas"}, {"contribution": 0.5, "aip": 1, "country": ["TW"], "rel": "aut", "lname": "Man", "fname": "Ka Lok", "status": "0", "name": "Man, Ka Lok"}]}-
local.typeY-
item.fulltextNo Fulltext-
item.grantfulltextnone-
crisitem.author.deptTaikomosios informatikos katedra-
Appears in Collections:Universiteto mokslo publikacijos / University Research Publications
Show simple item record
Export via OAI-PMH Interface in XML Formats
Export to Other Non-XML Formats


CORE Recommender

Page view(s)

77
checked on Jun 6, 2021

Download(s)

9
checked on Jun 6, 2021

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.