Search
Search Results
-
Manifold-Based Space Mission Design with Poincaré Filtering Algorithm
This paper presents the application of manifolds for space mission design in the Circular Restricted Three Body Problem, Bi-Circular Restricted Four...
-
Online Partial Conditional Plan Synthesis for POMDPs with Safe-Reachability Objectives
The framework of Partially Observable Markov Decision Processes (POMDPs) offers a standard approach to model uncertainty in many robot tasks.... -
Verification of RabbitMQ with Kerberos Using Timed Automata
RabbitMQ, an implementation of Advanced Message Queuing Protocol (AMQP), is a very popular message middleware. It supports concurrency, guarantees...
-
Time-variant Feedback Stabilization of Constrained Delayed Boolean Networks Under Nonuniform Sampled-data Control
This paper investigates the time-variant state feedback stabilization of constrained delayed Boolean control networks under nonuniform sampled-data...
-
Observer-based Sliding Mode Control for Fractional Order Singular Fuzzy Systems
In the paper, observer-based sliding mode control (SMC) for fractional order singular fuzzy (FOSF) systems with order 0 < α < 1 is studied. The...
-
The complexity gap in the static analysis of cache accesses grows if procedure calls are added
The static analysis of cache accesses consists in correctly predicting which accesses are hits or misses. While there exist good exact and...
-
Crossbred Method: A New Method for Identifying Influential Spreaders from Directed Networks
Influential spreaders are used to maximize or control the spreading dynamics in a network. It acts as a maximizer in the case of information... -
Optimal configuration for dual-arm space robot gras** a tumbling target based on task compatibility
This paper presents a method to determine the optimal configuration for a dual-arm space robot gras** a tumbling target. In contrast to the...
-
Markov automata with multiple objectives
Markov automata combine probabilistic branching, exponentially distributed delays and nondeterminism. This compositional variant of continuous-time...
-
Robust-RRT: Probabilistically-Complete Motion Planning for Uncertain Nonlinear Systems
Robust motion planning entails computing a global motion plan that is safe under all possible uncertainty realizations, be it in the system dynamics,... -
Automated Polyhedral Abstraction Proving
We propose an automated procedure to prove polyhedral abstractions for Petri nets. Polyhedral abstraction is a new type of state-space equivalence... -
Utilizing Information and Communication Technologies (ICTs) to Enhance the Reachability of People Facing Depression
Being the second most populated country in the world (Countries with the largest population 2019, 2020 [1]), India adds a large fraction of the... -
Multiple perspectives integration for virtual reality-aided assemblability assessment in narrow assembly spaces
Virtual reality (VR) has been proved as a promising tool for industrial design, but the traditional VR interface of first-person perspective (1PP) is...
-
Digital Twin and Deep Reinforcement Learning-Driven Robotic Automation System for Confined Workspaces: A Nozzle Dam Replacement Case Study in Nuclear Power Plants
Robotic automation has emerged as a leading solution for replacing human workers in dirty, dangerous, and demanding industries to ensure the safety...
-
An Improved Non-cascade Adaptive Integral Sliding Mode Control for PMSM Servo Systems
This paper addresses the problems of the non-cascade adaptive integral sliding mode control (ISMC) for permanent magnet synchronous motors (PMSMs)....
-
Controllability Analysis of Convergence on Water Distribution System Architecture with Fault Using Cellular Automata Sequence
This paper develops a consensus-based control protocol for a resilient Water Distribution System (WDS) intending to allow continuous water supply on... -
Potency-Based Heuristic Search with Randomness for Explicit Model Checking
Efficient state-space exploration has a significant impact on reachability analysis in explicit model checking and existing tools use several... -
Effect of Multiple Unmanned Aerial Vehicles on Data Transmission Considering DTN-Based V2V Communication in Urban Area
In this paper, we present the performance of multiple Unmanned Aerial Vehicles (UAVs) and Vehicle-to-Vehicle (V2V) communication in an urban... -
Detecting BGP Routing Anomalies Using Machine Learning: A Review
The Border Gateway Protocol (BGP) is a protocol for exchanging IP prefixes online. It allows for incremental path-vector routing protocol and... -
3 Nonblocking Supervisory Control of State Tree Structures
In the previous chapter, we explained how to model a system using state tree structures (STS) and described its behavior by the Δ function. In this...