Please use this identifier to cite or link to this item:https://hdl.handle.net/20.500.12259/37708
Type of publication: Straipsnis konferencijos medžiagoje Clarivate Analytics Web of Science ar/ir Scopus / Article in Clarivate Analytics Web of Science or Scopus DB conference proceedings (P1a)
Field of Science: Informatika / Informatics (N009)
Author(s): Krilavičius, Tomas
Title: Process algebraic simulation of concurrent hybrid systems
Is part of: ECT - 2008: Electrical and control technologies: proceedings of the 3rd international conference, May 8-9, 2008, Kaunas, Lithuania. Kaunas : Technologija, 2008, no. 3
Extent: p. 109-114
Date: 2008
Keywords: Simulation;Concurrency;Hybrid systems;Process algebra
Abstract: Systems modeling and simulation allow gaining insight in dynamical systems behavior. Simulation results are helpful in evaluating performance, detecting potential errors and bottlenecks, and are handy in choosing adequate control strategies and parameters. Process algebras are classical computer science tool for compositional modeling, simulation and analysis of concurrent systems. We discuss and exemplify simulation techniques and prototype tool for Behavioural Hybrid Process Calculus, an extension of process algebra suitable for the modeling and analysis of hybrid systems, systems that combine continuous-time and discrete behaviors
Internet: https://hdl.handle.net/20.500.12259/37708
Affiliation(s): Informatikos fakultetas
Taikomosios informatikos katedra
Vytauto Didžiojo universitetas
Appears in Collections:Universiteto mokslo publikacijos / University Research Publications

Files in This Item:
marc.xml7.01 kBXMLView/Open

MARC21 XML metadata

Show full item record
Export via OAI-PMH Interface in XML Formats
Export to Other Non-XML Formats

Page view(s)

130
checked on Mar 5, 2020

Download(s)

12
checked on Mar 5, 2020

Google ScholarTM

Check


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