Zobrazeno 1 - 10
of 55
pro vyhledávání: '"Bae, Kyungmin"'
Publikováno v:
Fundamenta Informaticae, Volume 192, Issues 3-4: Petri Nets 2023 (November 10, 2024) fi:12781
This paper presents a concrete and a symbolic rewriting logic semantics for parametric time Petri nets with inhibitor arcs (PITPNs), a flexible model of timed systems where parameters are allowed in firing bounds. We prove that our semantics is bisim
Externí odkaz:
http://arxiv.org/abs/2401.01884
Autor:
Arias, Jaime, Bae, Kyungmin, Olarte, Carlos, Ölveczky, Peter Csaba, Petrucci, Laure, Rømming, Fredrik
Parametric time Petri nets with inhibitor arcs (PITPNs) support flexibility for timed systems by allowing parameters in firing bounds. In this paper we present and prove correct a concrete and a symbolic rewriting logic semantics for PITPNs. We show
Externí odkaz:
http://arxiv.org/abs/2303.08929
Autor:
Kang, Byeongjee, Bae, Kyungmin
Publikováno v:
In Science of Computer Programming July 2024 235
Autor:
Arias, Jaime, Bae, Kyungmin, Olarte, Carlos, Ölveczky, Peter Csaba, Petrucci, Laure, Rømming, Fredrik
Publikováno v:
In Science of Computer Programming March 2024 233
Autor:
Bae, Kyungmin, Rocha, Camilo
Publikováno v:
In Science of Computer Programming 1 June 2019 178:20-42
Publikováno v:
EPTCS 105, 2012, pp. 5-21
Distributed cyber-physical systems (DCPS) are pervasive in areas such as aeronautics and ground transportation systems, including the case of distributed hybrid systems. DCPS design and verification is quite challenging because of asynchronous commun
Externí odkaz:
http://arxiv.org/abs/1301.0038
Autor:
Bae, Kyungmin, Ölveczky, Peter Csaba
Publikováno v:
EPTCS 36, 2010, pp. 46-66
This paper extends our Real-Time Maude formalization of the semantics of flat Ptolemy II discrete-event (DE) models to hierarchical models, including modal models. This is a challenging task that requires combining synchronous fixed-point computation
Externí odkaz:
http://arxiv.org/abs/1009.4261
Publikováno v:
In Science of Computer Programming 1 June 2015 103:13-50