Control design of discrete-time unicycle model using satisfiability modulo theory
This paper discusses a formal control design of a discrete-time unicycle model using
Satisfiability Modulo Theory (SMT). Given a set of possible initial positions, a set of possible …
Satisfiability Modulo Theory (SMT). Given a set of possible initial positions, a set of possible …
Formal Analysis and Verification of Max-Plus Linear Systems
Max-Plus Linear (MPL) systems are an algebraic formalism with practical applications in
transportation networks, manufacturing and biological systems. In this paper, we investigate …
transportation networks, manufacturing and biological systems. In this paper, we investigate …
[PDF][PDF] ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking.
This report presents the results of a friendly competition for formal verification of continuous
and hybrid systems with piecewise constant dynamics. The friendly competition took place …
and hybrid systems with piecewise constant dynamics. The friendly competition took place …
Reinforcement Learning for Stochastic Max-Plus Linear Systems
V Subramanian, F Farhadi… - 2023 62nd IEEE …, 2023 - ieeexplore.ieee.org
This paper studies the design of control policies for Discrete Event Systems under
uncertainties. We capture the timing of the events using the framework of max-plus-linear …
uncertainties. We capture the timing of the events using the framework of max-plus-linear …
SMT-based reachability analysis of high dimensional interval max-plus linear systems
This article discusses the reachability analysis (RA) of interval max-plus linear (IMPL)
systems, a subclass of continuous-space, discrete-event systems defined over the max-plus …
systems, a subclass of continuous-space, discrete-event systems defined over the max-plus …
The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems
Abstract The workshop on Applied Verification for Continuous and Hybrid Systems (ARCH)
is an annual venue for researchers and practitioners working on automated analysis and …
is an annual venue for researchers and practitioners working on automated analysis and …
Comparing Disjunctive and Concise Approaches for Set-Guaranteed Estimation in Max-Plus Linear Systems
This study compares an existing method with a novel approach for state estimation of Max-
Plus Linear systems with bounded uncertainties. Traditional stochastic filtering does not …
Plus Linear systems with bounded uncertainties. Traditional stochastic filtering does not …
Control Design of Autonomous Cars Using Satisfiability Modulo Theory
MN Hidayati, FS Saputri, MSU Mufid… - 2023 International …, 2023 - ieeexplore.ieee.org
Autonomous cars are currently at the forefront of technological development. These vehicles
can navigate independently, enabling them to move without human intervention. Given this …
can navigate independently, enabling them to move without human intervention. Given this …