In this note, we propose a matrix-based approach for asynchronous sequential machines.
Using semi-tensor product of matrices, we convert an asynchronous machine into a discrete …

Model checking is an automated technique that can be used to determine whether a system
satisfies certain required properties. The typical approach to verifying properties of software …

The problem of controlling a finite-state asynchronous sequential machine is examined.
Main consideration is given to input/output control, where access to the state of the machine …

The problem of eliminating the effects of infinite cycles on asynchronous sequential
machines is considered in a control theoretic context. The main objective is to develop state …

Most prior work on supervisory control of discrete event systems is for achieving
deterministic specifications, expressed as formal languages. In this paper we study …

A fundamental relationship between the controllability of a language with respect to another
language and a set of uncontrollable events in the Supervisory Control Theory initiated by …

Abstract Model checking is an automated technique that can be used to determine whether
a system satisfies certain required properties. The typical approach to verifying properties of …

The Problem of the Unknown Component: Theory and Applications addresses the issue of
designing a component that, combined with a known part of a system, conforms to an overall …

Composite asynchronous sequential machines (ASMs) are studied by a matrix‐based
approach in this study. A composite ASM consists of several input/state asynchronous …

An automated Web service discovery requires Web service capability specifications of a
high precision. Semantic-based approaches are inherently more precise than conventional …