Use this url to cite publication: https://hdl.handle.net/20.500.12259/37708
Process algebraic simulation of concurrent hybrid systems
Type of publication
Straipsnis konferencijos medžiagoje Web of Science duomenų bazėje / Article in conference proceedings in Web of Science database (P1a1)
Author(s)
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
Date Issued
| Date |
|---|
2008 |
Publisher
Kaunas : Technologija
Is Referenced by
Extent
p. 109-114
Abstract (en)
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.
Type of document
type::text::journal::journal article::research article
Language
Anglų / English (en)
Coverage Spatial
Lietuva / Lithuania (LT)
ISSN (of the container)
1822-5934
WOS
WOS:000259034500021
Other Identifier(s)
VDU02-000005252