Octavian Pastravanu

Learn More
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(More)
Design and implementation are studied for a neural-network-based predictive controller meant to govern the dynamics of non-linear processes. The advantages of using neural networks for modeling non-linear processes are shown together with the construction of neural predictors. The resulting implementation of the neural predictive controller is able to(More)
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(More)
[7] V. Y. Glizer, " Asymptotic analysis and solution of a finite horizon H control problem for singularly-perturbed linear systems with small state delay, " , " Controllability of nonstandard singularly perturbed systems with small state delay, " IEEE Trans. An estimate for the fundamental matrix of singularly perturbed differential-functional equations and(More)
The skeleton and the functionality of a Petri Net Toolbox, embedded in the MATLAB environment, are briefly presented, as offering a collection of instruments devoted to simulation, analysis and synthesis of discrete-event systems. The integration with the MATLAB philosophy responds to the general interest manifested by educators for enlarging the(More)
The standard approach to structural properties of Petri nets (such as boundedness, conservativeness, repetitiveness and consistency) is based on the compatibility of different systems of linear inequalities. Unfortunately the direct usage of this approach is unsuitable for implementation in the Petri Net Toolbox (recently developed as an analysis and design(More)