Related Experiment Video
Updated: Jul 7, 2026
11:09
RBDT: A Computerized Task System based in Transposition for the Continuous Analysis of Relational Behavior Dynamics in Humans
Published on: July 17, 2021
Control synthesis of timed discrete event systems based on predicate invariance
1Dept. of Electr. & Comput. Eng., Connecticut Univ., Storrs, CT.
Summary
This study introduces arc-timed Petri nets for modeling real-time systems. A fixpoint algorithm enables automatic synthesis of controllers for discrete event systems, ensuring desired closed-loop behavior.
Area of Science:
- Computer Science
- Control Theory
- Automata Theory
Background:
- Modeling and controlling real-time discrete event systems is complex.
- Existing methods may not efficiently handle real-time specifications.
- Control synthesis aims to design controllers for system behavior satisfaction.
Purpose of the Study:
- To address the control synthesis problem for controlled real-time discrete event systems.
- To develop an algorithmic approach for synthesizing controllers.
- To ensure systems meet specified closed-loop behavior.
Main Methods:
- Utilizing arc-timed Petri nets for system modeling.
- Introducing real-time control-invariant predicates.
- Developing a fixpoint algorithm to compute extremal control-invariant subpredicates.
- Transforming control synthesis problems into solvable forms.
Main Results:
- A fixpoint algorithm for computing control-invariant subpredicates is presented.
- The control synthesis problem for labeled arc-timed Petri nets is reducible to a state predicate specification.
- The proposed algorithm involves polyhedral set operations, enabling algorithmic implementation.
Conclusions:
- Automatic synthesis of controllers for real-time discrete event systems is achievable.
- The developed fixpoint algorithm provides a key tool for control synthesis.
- The methodology offers a systematic approach to designing controllers for complex real-time systems.
Related Concept Videos
01:31Classification of Systems-II
Continuous-time systems have continuous input and output signals, with time measured continuously. These systems are generally defined by differential or algebraic equations. For instance, in an RC circuit, the relationship between input and output voltage is expressed through a differential equation derived from Ohm's law and the capacitor relation,
01:24BIBO stability of continuous and discrete -time systems
System stability is a fundamental concept in signal processing, often assessed using convolution. For a system to be considered bounded-input bounded-output (BIBO) stable, any bounded input signal must produce a bounded output signal. A bounded input signal is one where the modulus does not exceed a certain constant at any point in time.
To determine the BIBO stability, the convolution integral is utilized when a bounded continuous-time input is applied to a Linear Time-Invariant (LTI) system.
To determine the BIBO stability, the convolution integral is utilized when a bounded continuous-time input is applied to a Linear Time-Invariant (LTI) system.
01:26Constraints and Statical Determinacy
In structural engineering, the equilibrium of a system is not only determined by its equations of equilibrium but also with the help of constraints. Constraints refer to restrictions on the motion of a system. The proper combinations of constraints can minimize the total number of constraints needed to maintain a system in mechanical equilibrium. When this happens, the system is said to be statically determinate. For such systems, the unknown reaction supports can be estimated using equilibrium...
01:23Linear time-invariant Systems
A system is linear if it displays the characteristics of homogeneity and additivity, together termed the superposition property. This principle is fundamental in all linear systems. Linear time-invariant (LTI) systems include systems with linear elements and constant parameters.
The input-output behavior of an LTI system can be fully defined by its response to an impulsive excitation at its input. Once this impulse response is known, the system's reaction to any other input can be calculated...
The input-output behavior of an LTI system can be fully defined by its response to an impulsive excitation at its input. Once this impulse response is known, the system's reaction to any other input can be calculated...
01:07Time-Domain Interpretation of PD Control
Proportional-Derivative (PD) control is a widely used control method in various engineering systems to enhance stability and performance. In a system with only proportional control, common issues include high maximum overshoot and oscillation, observed in both the error signal and its rate of change. This behavior can be divided into three distinct phases: initial overshoot, subsequent undershoot, and gradual stabilization.
Consider the example of control of motor torque. Initially, a positive...
Consider the example of control of motor torque. Initially, a positive...
01:16Statically Indeterminate Problem Solving
Statically indeterminate problems are those where statics alone can not determine the internal forces or reactions. Consider a structure comprising two cylindrical rods made of steel and brass. These rods are joined at point B and restrained by rigid supports at points A and C. Now, the reactions at points A and C and the deflection at point B are to be determined. This rod structure is classified as statically indeterminate as the structure has more supports than are necessary for maintaining...