If a linear discrete system is described by;

A Synthesis Method of the Minimum Step Control Sequence for the Time-Invariant Discrete Linear System With the Restriction of the Control Amplitude[J].

Compositional synthesis of discrete event systems using synthesis abstraction.

Provides economical pump-off control of sucker-rod pumping systems. Using sophisticated modeling and control software and a powerful digital signal processor (DSP), the RPC controller computes surface and downhole conditions to best regulate the starting and stopping of the pump via a separate motor controller. Comprehensive monitoring and reporting capabilities provide real-time surface and downhole dynamometer plots, daily gauging, fault and event logging, a user-configurable data sampler, and more.

Evolutionary Synthesis of Large Discrete Systems …

The existing theory of diagnosis of discrete-event systems is extended in the context of the above model.

Therefore, there has been an increasing interest in such methods of synthesis which could be applied both for systems with converged and continuously distributed parameters.

Control Law Synthesis for a Discrete Event System - …

The goal of Petri net research in discrete event systems is to exploit the structural properties of Petri net models in computationally efficient algorithms for computing controls.

Control of stochastic discrete event systems : Synthesis.

RGA includes full support for traditional reliability growth analysis using the applicable models — Crow-AMSAA (NHPP), Duane, Gompertz, Modified Gompertz, Lloyd-Lipow or Logistic — for a variety of developmental data types — time-to-failure, discrete (success/failure) and reliability data. In addition, the software provides exclusive support for innovative approaches that facilitate reliability growth projections, reliability growth program planning and multi-phase reliability growth analysis. RGA helps to create operational test plans that effectively balance all of the mission profiles that need to be tested to make sure the testing yields data appropriate for reliability growth analysis. The software also provides opportunities for fielded repairable system analysis, including a Reliability Demonstration Test (RDT) utility and a method for analyzing the system's reliability behavior over time in order to calculate optimum overhaul times and other metrics of interest.

Control Synthesis of Discrete-Time Switched ..

As modularity crucially depends on the process equivalence used, the paper studies possible equivalences and points out that, in order to be consistent with respect to the nonblocking property and to supervisor synthesis, a conflict-preserving equivalence must be used.

Principles of Organic Synthesis - Home - Michigan …

AB - In our earlier papers we introduced the formalism of probabilistic languages for modeling the stochastic qualitative behavior of discrete event systems (DESs). We presented a framework for their supervisory control in [11], where control is exercised by dynamically disabling certain controllable events thereby nulling the occurrence probabilities of disabled events, and increasing the occurrence probabilities of enabled events proportionately. The control objective is to design a supervisor such that the controlled system never executes any illegal traces (their occurrence probability is zero), and legal traces occur with minimum prespecified occurrence probabilities. In other words, the probabilistic language of the controlled system lies within a prespecified range, where the upper bound is a `non-probabilistic language' representing a legality constraint. In [11] we provided a condition for the existence of a supervisor, and also presented an algorithm to test this condition when the probabilistic languages are regular (so that they admit probabilistic automata representation with finitely many states). In this paper we give a technique to compute on-line a maximally permissive supervisor achieving the specified lower and upper bound constraints.