7 citations · 15 across the 3 of their papers we have counts for
4 papers
A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets
Jaime Arias, Kyungmin Bae, Carlos Olarte +2
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 paramet…
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving
Jaime Arias, Kyungmin Bae, Carlos Olarte +3
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…
PALS-Based Analysis of an Airplane Multirate Control System in Real-Time Maude
Kyungmin Bae, Joshua Krisiloff, José Meseguer +1
Distributed cyber-physical systems (DCPS) are pervasive in areas such as aeronautics and ground transportation systems, including the case of distributed hybrid systems. DCPS desig…
Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models
Kyungmin Bae, Peter Csaba Ölveczky
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 challe…