Source author record

Giang T. Nguyen

Giang T. Nguyen appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

10works
3topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

10 published item(s)

preprint2022arXiv

APMEC: An Automated Provisioning Framework for Multi-access Edge Computing

Novel use cases and verticals such as connected cars and human-robot cooperation in the areas of 5G and Tactile Internet can significantly benefit from the flexibility and reduced latency provided by Network Function Virtualization (NFV) and Multi-Access Edge Computing (MEC). Existing frameworks managing and orchestrating MEC and NFV are either tightly coupled or completely separated. The former design is inflexible and increases the complexity of one framework. Whereas, the latter leads to inefficient use of computation resources because information are not shared. We introduce APMEC, a dedicated framework for MEC while enabling the collaboration with the management and orchestration (MANO) frameworks for NFV. The new design allows to reuse allocated network services, thus maximizing resource utilization. Measurement results have shown that APMEC can allocate up to 60% more number of network services. Being developed on top of OpenStack, APMEC is an open source project, available for collaboration and facilitating further research activities.

preprint2022arXiv

Boolean Expressions in Firewall Analysis

Firewall policies are an important line of defence in cybersecurity, specifying which packets are allowed to pass through a network and which are not. These firewall policies are made up of a list of interacting rules. In practice, firewall can consist of hundreds or thousands of rules. This can be very difficult for a human to correctly configure. One proposed solution is to model firewall policies as Boolean expressions and use existing computer programs such as SAT solvers to verify that the firewall satisfies certain conditions. This paper takes an in-depth look at the Boolean expressions that represent firewall policies. We present an algorithm that translates a list of firewall rules into a Boolean expression in conjunctive normal form (CNF) or disjunctive normal form (DNF). We also place an upper bound on the size of the CNF and DNF that is polynomial in the number of rules in the firewall policy. This shows that past results suggesting a combinatorial explosion when converting from a Boolean expression in CNF to one in DNF does note occur in the context of firewall analysis

preprint2021arXiv

RAP-modulated Fluid Processes: First Passages and the Stationary Distribution

We construct a stochastic fluid process with an underlying piecewise deterministic Markov process (PDMP) akin to the one used in the construction of the rational arrival process (RAP), which we call the RAP-modulated fluid process. As opposed to the classic stochastic fluid process driven by a Markov jump process, the underlying PDMP of a RAP-modulated fluid process has a continuous state space and is driven by matrix parameters which may not be related to an intensity matrix. Through novel techniques we show how well-known formulae associated to the classic stochastic fluid process, such as first passage probabilities and the stationary distribution of its queue, translate to its RAP-modulated counterpart.

preprint2020arXiv

An explicit solution to the Skorokhod embedding problem for double exponential increments

Strong approximations of uniform transport processes to the standard Brownian motion rely on the Skorokhod embedding of random walk with centered double exponential increments. In this note we make such an embedding explicit by means of a Poissonian scheme, which both simplifies classic constructions of strong approximations of uniform transport processes (Griego et al. (1971)) and improves their rate of strong convergence (Gorostiza et al. (1980)). We finalise by providing an extension regarding the embedding of a random walk with asymmetric double exponential increments.

preprint2016arXiv

Componentwise accurate Brownian motion computations using Cyclic Reduction

Markov-modulated Brownian motion is a popular tool to model continuous-time phenomena in a stochastic context. The main quantity of interest is the invariant density, which satisfies a differential equation associated with the quadratic matrix polynomial $P(z) = Vz^2-Dz +Q$, where the matrices $V$ and $D$ are diagonal and $Q$ is the transition matrix of a discrete-time Markov chain. Its solution is typically constructed by computing an invariant pair of $P(z)$ associated with its eigenvalues in the left half-plane, or by solving the matrix equation $X^2V-XD+Q=0$. We show that these tasks can be solved using a componentwise accurate algorithm based on Cyclic Reduction, generalizing the recently appeared algorithms for the linear case ($V=0$). We give a proof of the numerical stability of our algorithm in the componentwise sense; the same proof applies to Cyclic Reduction in a more general M-matrix setting which appears in other applications such as the modelling of QBD processes.

preprint2016arXiv

Feedback control: two-sided Markov-modulated Brownian motion with instantaneous change of phase at boundaries

We consider a Markov-modulated Brownian motion $\{Y(t), ρ(t)\}$ with two boundaries at $0$ and $b > 0$, and allow for the controlling Markov chain $\{ρ(t)\}$ to instantaneously undergo a change of phase upon hitting either of the two boundaries at semi-regenerative epochs defined to be the first time the process reaches a boundary since it last hits the other boundary. We call this process a flexible Markov-modulated Brownian motion. Using the recently-established links between stochastic fluid models and Markov-modulated Brownian motions, we determine important characteristics of first exit times of a Markov-modulated Brownian motion from an interval with a regulated boundary. These results allow us to follow a Markov-regenerative approach and obtain the stationary distribution of the flexible process. This highlights the effectiveness of the regenerative approach in analyzing Markov-modulated Brownian motions subject to more general boundary behaviors than the classic regulated boundaries.

preprint2015arXiv

Slowing time: Markov-modulated Brownian motion with a sticky boundary

We analyze the stationary distribution of regulated Markov modulated Brownian motions (MMBM) modified so that their evolution is slowed down when the process reaches level zero --- level zero is said to be {\em sticky}. To determine the stationary distribution, we extend to MMBMs a construction of Brownian motion with sticky boundary, and we follow a Markov-regenerative approach similar to the one developed in past years in the context of quasi-birth-and-death processes and fluid queues. We also rely on recent work showing that Markov-modulated Brownian motions may be analyzed as limits of a parametrized family of fluid queues. We use our results to revisit the stationary distribution of the well-known regulated MMBM.

preprint2014arXiv

Fluid approach to two-sided Markov-modulated Brownian motion

We extend to Markov-modulated Brownian motion (MMBM) the renewal approach which has been successfully applied to the analysis of Markov-modulated fluid models. It has recently been shown that MMBM may be expressed as the limit of a parameterized family of Markov-modulated fluid models. We prove that the weak convergence also holds for systems with two reflecting boundaries, one at zero and one at $b >0$, and that the stationary distributions of the approximating fluid models converge to the stationary distribution of the two-sided reflected MMBM. Thus, we obtain a new representation for the stationary distribution, effectively separating the limiting behaviour of the process at the boundaries from its behaviour in the interior of $(0,b)$.

preprint2014arXiv

The morphing of fluid queues into Markov-modulated Brownian motion

Ramaswami showed recently that standard Brownian motion arises as the limit of a family of Markov-modulated linear fluid processes. We pursue this analysis with a fluid approximation for Markov-modulated Brownian motion. Furthermore, we prove that the stationary distribution of a Markov-modulated Brownian motion reflected at zero is the limit from the well-analyzed stationary distribution of approximating linear fluid processes. Key matrices in the limiting stationary distribution are shown to be solutions of a new quadratic equation, and we describe how this equation can be efficiently solved. Our results open the way to the analysis of more complex Markov-modulated processes.

preprint2014arXiv

Two-dimensional fluid queues with temporary assistance

We consider a two-dimensional stochastic fluid model with $N$ ON-OFF inputs and temporary assistance, which is an extension of the same model with $N = 1$ in Mahabhashyam et al. (2008). The rates of change of both buffers are piecewise constant and dependent on the underlying Markovian phase of the model, and the rates of change for Buffer 2 are also dependent on the specific level of Buffer 1. This is because both buffers share a fixed output capacity, the precise proportion of which depends on Buffer 1. The generalization of the number of ON-OFF inputs necessitates modifications in the original rules of output-capacity sharing from Mahabhashyam et al. (2008) and considerably complicates both the theoretical analysis and the numerical computation of various performance measures.