Miroslav Fikar | Slovak University of Technology (original) (raw)

Papers by Miroslav Fikar

Research paper thumbnail of Time-Optimal Diafiltration Process: Dynamic Optimization Approach

Research paper thumbnail of Time-Optimal Control and Parameter Estimation of Diafiltration Processes in the Presence of Membrane Fouling

Research paper thumbnail of An Application of Multi-parametric Programming in Integrated Circuit Automation (Slotting Problem)

IFAC Proceedings Volumes, 2014

Research paper thumbnail of Individualised Approaches in Control Education Courses with Large Number of Students

IFAC Proceedings Volumes, 2006

Research paper thumbnail of Explicit MPC of LPV systems in the controllable canonical form

2013 European Control Conference, 2013

We exploit the controllable canonical form of single-input linear parameter-varying (LPV) systems... more We exploit the controllable canonical form of single-input linear parameter-varying (LPV) systems to synthesize explicit Model Predictive Control (MPC) feedback laws. The nonlinear state-parameter dependence is first moved into the feedback term, followed by devising a suitable input constraint set. This allows the MPC problem to be formulated with a quadratic performance index, avoiding costly dynamic programming iterations. The resulting MPC optimization is shown to be convex and can be solved parametrically. The explicit solution takes a form of a piecewise affine (PWA) function which allows to implement the feedback law quickly even with limited computational resources.

Research paper thumbnail of Automatic generation of assignments and quizzes in control engineering education

2007 European Control Conference, Jul 1, 2007

Research paper thumbnail of Simplification of Explicit MPC Feedback Laws Via Separation Functions

We consider the problem of reducing the memory footprint of explicit MPC feedback laws for linear... more We consider the problem of reducing the memory footprint of explicit MPC feedback laws for linear systems. A controller defined by a continuous Piecewise Affine (PWA) function is simplified using separation functions. If a state resides in a saturated region, control value is given by the sign of the separator. Thus, instead of storing and evaluating all regions, only the unconstrained regions and the separator are needed. A large case study is provided to evidence that such separators can be constructed efficiently even for very complex explicit MPC solutions.

Research paper thumbnail of Relations between stable predictive control and pole placement

Research paper thumbnail of DOTcvp: Dynamic optimization toolbox with control vector parameterization approach

This report deals with the description of dynamic optimization toolbox (DOTcvp) which is able to ... more This report deals with the description of dynamic optimization toolbox (DOTcvp) which is able to solve constrained optimal control problems (OCP) with the control vector parameterization (CVP) approach. The original continuous problem is transformed into the finite dimensional OCP. Then it is possible to solve the resulting nonlinear programming (NLP) problem with the help of any gradient method with the combination of initial value problem (IVP) solver. For all of this is used SUNDIALS tool which was modified for automatic generation of the necessary gradients in two ways. One of them is a finite difference and the second one, a more accurate method, is the sensitivity equations approach. Several NLP solvers, deterministic and stochastic were implemented in order to ensure higher accuracy not only for small problems. All of this is covered by the MATLAB environment, which offers to us a comfortable control and a pretty graphical output. The toolbox contains an environment for a FORTRAN compiler too, for enabling this option it is needed to have installed a FORTRAN compiler in a MATLAB environment.

Research paper thumbnail of Performance-lossless complexity reduction in Explicit MPC

49Th Ieee Conference on Decision and Control, 2010

The idea of Explicit Model Predictive Control (MPC) is to find the optimal control input as an ex... more The idea of Explicit Model Predictive Control (MPC) is to find the optimal control input as an explicit Piecewise Affine (PWA) function of the initial conditions. The function, however, is often too complex to be processed by a typical control hardware setup in real time. Therefore the paper proposes a novel method of replacing a generic continuous PWA function by a different function of significantly lower complexity in such a way that optimal closed-loop performance, stability and constraint satisfaction are preserved. The idea is based on eliminating a significant portion of the regions of the PWA function over which the function attains a saturated value. An extensive case study is presented which confirms that a significant reduction of complexity is achieved in general.

Research paper thumbnail of Model predictive control of a CSTR: A hybrid modeling approach

Chemical Papers Slovak Academy of Sciences, Mar 31, 2010

This paper presents a case study of model predictive control (MPC) applied to a continuous stirre... more This paper presents a case study of model predictive control (MPC) applied to a continuous stirred tank reactor (CSTR). It is proposed to approximate nonlinear behavior of a plant by several local linear models, enabling a piecewise affine (PWA) description of the model used to predict and optimize future evolution of the reactor behavior. Main advantage of the PWA model

Research paper thumbnail of Integrated Two-Time-Scale Scheme for Real-Time Optimisation of Batch Processes

This paper studies a problem of uncertainties in optimal process control of batch processes. We a... more This paper studies a problem of uncertainties in optimal process control of batch processes. We assume that several batches are processed and that run-to-run optimisation can be performed. We propose an integrated two-time scale that optimises between batches to meet terminal constraints and within batches to improve calculated optimal trajectory for model-mismatch. The results obtained from a batch reactor control indicate that the resulting scheme has better convergence properties than individual schemes dealing either with terminal constraints adaptation or with in-batch neighbouring-extremal (NE) control.

Research paper thumbnail of Real-Time 2DoF Control of a Quadruple Tank System with Integral Action

Research paper thumbnail of Youla-kučera parameterisation approach to LQ tracking and disturbance rejection problem

Research paper thumbnail of Time-optimal control of Takagi-Sugeno fuzzy systems

2009 European Control Conference, Aug 1, 2009

Research paper thumbnail of Design of infinite horizon predictive LQ controller

1997 European Control Conference, Jul 1, 1997

Research paper thumbnail of Virtual and Remote Laboratories in Process of Control Education

International Journal of Online Engineering, Feb 16, 2012

Research paper thumbnail of Multivariable constrained adaptive predictive control based on pole placement design

Research paper thumbnail of WebPIDDESIGN - software for PID controller design management

2015 European Control Conference (ECC), 2015

ABSTRACT The goal of this paper is to present the software tool WebPIDDESIGN for complex manageme... more ABSTRACT The goal of this paper is to present the software tool WebPIDDESIGN for complex management of PID controller design. This tool is suitable for those who need to design the PID controller for the simple closed-loop feedback in an effective and user-friendly way. As the WebPIDDESIGN interface has been currently placed on the Internet, the users may benefit from the simple utilization without the need of complex software and hardware requirements. The features of this tool determine its usability especially for educational purpose. Users of WebPIDDESIGN can reap the benefits of its online form, especially interactivity, information value, ease of use, and accessibility 24/7. This software includes system analysis and identification features, various PID controller design methods, closed loop simulations and evaluation of control quality. As a tool for education, it also provides appropriate theoretical background to specific control design and identification tasks, in such an extent that user is able to understand all performed tasks without an exhaustive effort.

Research paper thumbnail of A hierarchical design methodology for implementing safety-critical constrained controllers with guaranteed stability and failure detection

2012 IEEE 51st IEEE Conference on Decision and Control (CDC), 2012

A control input correction strategy is developed whereby an arbitrary given control law may be de... more A control input correction strategy is developed whereby an arbitrary given control law may be deployed when constraint satisfaction, closed-loop stability and safety-critical certification are required. Furthermore the proposed approach allows for notification in case the given control law fails in satisfying basic performance criteria, or when hijacking of communications links or sabotage is suspected. The proposed approach employs a multi-parametric programming approach to least-invasively correct a given controller in a way that is implementable in a manner certifiable for safety-critical deployments.

Research paper thumbnail of Time-Optimal Diafiltration Process: Dynamic Optimization Approach

Research paper thumbnail of Time-Optimal Control and Parameter Estimation of Diafiltration Processes in the Presence of Membrane Fouling

Research paper thumbnail of An Application of Multi-parametric Programming in Integrated Circuit Automation (Slotting Problem)

IFAC Proceedings Volumes, 2014

Research paper thumbnail of Individualised Approaches in Control Education Courses with Large Number of Students

IFAC Proceedings Volumes, 2006

Research paper thumbnail of Explicit MPC of LPV systems in the controllable canonical form

2013 European Control Conference, 2013

We exploit the controllable canonical form of single-input linear parameter-varying (LPV) systems... more We exploit the controllable canonical form of single-input linear parameter-varying (LPV) systems to synthesize explicit Model Predictive Control (MPC) feedback laws. The nonlinear state-parameter dependence is first moved into the feedback term, followed by devising a suitable input constraint set. This allows the MPC problem to be formulated with a quadratic performance index, avoiding costly dynamic programming iterations. The resulting MPC optimization is shown to be convex and can be solved parametrically. The explicit solution takes a form of a piecewise affine (PWA) function which allows to implement the feedback law quickly even with limited computational resources.

Research paper thumbnail of Automatic generation of assignments and quizzes in control engineering education

2007 European Control Conference, Jul 1, 2007

Research paper thumbnail of Simplification of Explicit MPC Feedback Laws Via Separation Functions

We consider the problem of reducing the memory footprint of explicit MPC feedback laws for linear... more We consider the problem of reducing the memory footprint of explicit MPC feedback laws for linear systems. A controller defined by a continuous Piecewise Affine (PWA) function is simplified using separation functions. If a state resides in a saturated region, control value is given by the sign of the separator. Thus, instead of storing and evaluating all regions, only the unconstrained regions and the separator are needed. A large case study is provided to evidence that such separators can be constructed efficiently even for very complex explicit MPC solutions.

Research paper thumbnail of Relations between stable predictive control and pole placement

Research paper thumbnail of DOTcvp: Dynamic optimization toolbox with control vector parameterization approach

This report deals with the description of dynamic optimization toolbox (DOTcvp) which is able to ... more This report deals with the description of dynamic optimization toolbox (DOTcvp) which is able to solve constrained optimal control problems (OCP) with the control vector parameterization (CVP) approach. The original continuous problem is transformed into the finite dimensional OCP. Then it is possible to solve the resulting nonlinear programming (NLP) problem with the help of any gradient method with the combination of initial value problem (IVP) solver. For all of this is used SUNDIALS tool which was modified for automatic generation of the necessary gradients in two ways. One of them is a finite difference and the second one, a more accurate method, is the sensitivity equations approach. Several NLP solvers, deterministic and stochastic were implemented in order to ensure higher accuracy not only for small problems. All of this is covered by the MATLAB environment, which offers to us a comfortable control and a pretty graphical output. The toolbox contains an environment for a FORTRAN compiler too, for enabling this option it is needed to have installed a FORTRAN compiler in a MATLAB environment.

Research paper thumbnail of Performance-lossless complexity reduction in Explicit MPC

49Th Ieee Conference on Decision and Control, 2010

The idea of Explicit Model Predictive Control (MPC) is to find the optimal control input as an ex... more The idea of Explicit Model Predictive Control (MPC) is to find the optimal control input as an explicit Piecewise Affine (PWA) function of the initial conditions. The function, however, is often too complex to be processed by a typical control hardware setup in real time. Therefore the paper proposes a novel method of replacing a generic continuous PWA function by a different function of significantly lower complexity in such a way that optimal closed-loop performance, stability and constraint satisfaction are preserved. The idea is based on eliminating a significant portion of the regions of the PWA function over which the function attains a saturated value. An extensive case study is presented which confirms that a significant reduction of complexity is achieved in general.

Research paper thumbnail of Model predictive control of a CSTR: A hybrid modeling approach

Chemical Papers Slovak Academy of Sciences, Mar 31, 2010

This paper presents a case study of model predictive control (MPC) applied to a continuous stirre... more This paper presents a case study of model predictive control (MPC) applied to a continuous stirred tank reactor (CSTR). It is proposed to approximate nonlinear behavior of a plant by several local linear models, enabling a piecewise affine (PWA) description of the model used to predict and optimize future evolution of the reactor behavior. Main advantage of the PWA model

Research paper thumbnail of Integrated Two-Time-Scale Scheme for Real-Time Optimisation of Batch Processes

This paper studies a problem of uncertainties in optimal process control of batch processes. We a... more This paper studies a problem of uncertainties in optimal process control of batch processes. We assume that several batches are processed and that run-to-run optimisation can be performed. We propose an integrated two-time scale that optimises between batches to meet terminal constraints and within batches to improve calculated optimal trajectory for model-mismatch. The results obtained from a batch reactor control indicate that the resulting scheme has better convergence properties than individual schemes dealing either with terminal constraints adaptation or with in-batch neighbouring-extremal (NE) control.

Research paper thumbnail of Real-Time 2DoF Control of a Quadruple Tank System with Integral Action

Research paper thumbnail of Youla-kučera parameterisation approach to LQ tracking and disturbance rejection problem

Research paper thumbnail of Time-optimal control of Takagi-Sugeno fuzzy systems

2009 European Control Conference, Aug 1, 2009

Research paper thumbnail of Design of infinite horizon predictive LQ controller

1997 European Control Conference, Jul 1, 1997

Research paper thumbnail of Virtual and Remote Laboratories in Process of Control Education

International Journal of Online Engineering, Feb 16, 2012

Research paper thumbnail of Multivariable constrained adaptive predictive control based on pole placement design

Research paper thumbnail of WebPIDDESIGN - software for PID controller design management

2015 European Control Conference (ECC), 2015

ABSTRACT The goal of this paper is to present the software tool WebPIDDESIGN for complex manageme... more ABSTRACT The goal of this paper is to present the software tool WebPIDDESIGN for complex management of PID controller design. This tool is suitable for those who need to design the PID controller for the simple closed-loop feedback in an effective and user-friendly way. As the WebPIDDESIGN interface has been currently placed on the Internet, the users may benefit from the simple utilization without the need of complex software and hardware requirements. The features of this tool determine its usability especially for educational purpose. Users of WebPIDDESIGN can reap the benefits of its online form, especially interactivity, information value, ease of use, and accessibility 24/7. This software includes system analysis and identification features, various PID controller design methods, closed loop simulations and evaluation of control quality. As a tool for education, it also provides appropriate theoretical background to specific control design and identification tasks, in such an extent that user is able to understand all performed tasks without an exhaustive effort.

Research paper thumbnail of A hierarchical design methodology for implementing safety-critical constrained controllers with guaranteed stability and failure detection

2012 IEEE 51st IEEE Conference on Decision and Control (CDC), 2012

A control input correction strategy is developed whereby an arbitrary given control law may be de... more A control input correction strategy is developed whereby an arbitrary given control law may be deployed when constraint satisfaction, closed-loop stability and safety-critical certification are required. Furthermore the proposed approach allows for notification in case the given control law fails in satisfying basic performance criteria, or when hijacking of communications links or sabotage is suspected. The proposed approach employs a multi-parametric programming approach to least-invasively correct a given controller in a way that is implementable in a manner certifiable for safety-critical deployments.