Petri Net Toolbox For Matlab In Web-Based Analysis And Design Of Discrete-Event Systems

The paper presents the results of the project Petri Net Web-based Laboratory (PN Web-Lab) that has been developed for the training of the Control Engineering students in discrete-event systems (DES) modelled by Petri nets. The main objectives envisaged by the PN Web-Lab are: the simulation, analysis and design of DES within a familiar framework (using any Java-supported Internet browser), the independence of the operation system, the integration with any http server, the convenient development of further facilities. The PN Web-Lab was meant to ensure full compatibility with the MATLAB software that represents a standard for the computational approaches in Control Engineering. The PN Web-Lab was implemented as a client-server application, offering a large flexibility in exploitation. An example illustrates the usage of some tools provided by the PN Web-Lab. The overall conception of the PN Web-Lab can be successfully exploited to develop various Internet-based services for laboratory exercises and experiments in distance learning

Infinity norms as Lyapunov functions for model predictive control of constrained PWA systems

In this paper we develop a priori stabilization conditions for infinity norm based hybrid MPC in the terminal cost and constraint set fashion. Closed-loop stability is achieved using infinity norm inequalities that guarantee that the value function corresponding to the MPC cost is a Lyapunov function of the controlled system. We show that Lyapunov asymptotic stability can be achieved even though the MPC value function may be discontinuous. One of the advantages of this hybrid MPC scheme is that the terminal constraint set can be directly obtained as a sublevel set of the calculated terminal cost, which is also a local piecewise linear Lyapunov function. This yields a new method to obtain positively invariant sets for PWA systems

Stability analysis of the interval systems based on linear matrix inequalities

Positive definiteness and Hurwitz stability of the interval systems are discussed. A linear matrix inequality representation is introduced to simplify the analysis of the interval system. First, it is shown that the interval matrix can be stable if it has 2 conditions. Afterward, they converted to linear matrix inequalities for simplifying the conditions solution. A Lyapunov function is introduced to prove the new representation based on linear matrix inequalities140371378Proceedings of the 4th Brazilian Technology Symposium (BTSym'18)201