Michal Kvasnica

64 papers C 2Journal 26Unranked 35

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Deep Dictionary-Free Method for Identifying Linear Model of Nonlinear System with Input Delay. CoRR Patrik Valábek, Marek Wadinger, Michal Kvasnica, Martin Klauco
2025	—	`conf`	Physics-Informed Dynamic Mode Decomposition with Control for Predictive Maintenance in Chlor-Alkali Electrolysis. CDC Marek Wadinger, Lenka Galíková, Laura Razzolini, Michal Kvasnica, Elisabetta Brunazzi, Marco Vaccari
2024	J	`jnl`	Adaptable and Interpretable Framework for Anomaly Detection in SCADA-based industrial systems. Expert Syst. Appl. Marek Wadinger, Michal Kvasnica
2024	J	`jnl`	Change-Point Detection in Industrial Data Streams based on Online Dynamic Mode Decomposition with Control. CoRR Marek Wadinger, Michal Kvasnica, Yoshinobu Kawahara
2023	—	`conf`	A Generalized Stopping Criterion for Real-Time MPC with Guaranteed Stability. CDC Kristína Fedorová, Yuning Jiang, Juraj Oravec, Colin N. Jones, Michal Kvasnica
2023	J	`jnl`	A Generalized Stopping Criterion for Real-Time MPC with Guaranteed Stability. CoRR Kristína Fedorová, Yuning Jiang, Juraj Oravec, Colin N. Jones, Michal Kvasnica
2023	—	`conf`	A Software Package for MPC Design and Tuning: MPT+. CDC Juraj Holaza, Lenka Galcíková, Juraj Oravec, Michal Kvasnica
2023	J	`jnl`	Adaptable and Interpretable Framework for Novelty Detection in Real-Time IoT Systems. CoRR Marek Wadinger, Michal Kvasnica
2023	J	`jnl`	Exploiting symmetries in active set enumeration for constrained linear-quadratic optimal control. Autom. Ruth Mitze, Michal Kvasnica, Martin Mönnigmann
2023	—	`conf`	Real-Time Deep-Learning-Driven Parallel MPC. CDC Roman Kohut, Erika Pavlovicová, Kristína Fedorová, Juraj Oravec, Michal Kvasnica
2023	J	`jnl`	Real-Time Outlier Detection with Dynamic Process Limits. CoRR Marek Wadinger, Michal Kvasnica
2022	J	`jnl`	A Memory Efficient FPGA Implementation of Offset-Free Explicit Model Predictive Controller. IEEE Trans. Control. Syst. Technol. Chaitanya Jugade, Deepak Ingole, Dayaram N. Sonawane, Michal Kvasnica, John L. Gustafson
2022	J	`jnl`	Modeling the efficacy of different anti-angiogenic drugs on treatment of solid tumors using 3D computational modeling and machine learning. Comput. Biol. Medicine Milad Mousavi, Mahsa Dehghan Manshadi, Madjid Soltani, Farshad Moradi Kashkooli, Arman Rahmim, Amir Mosavi, Michal Kvasnica, Peter M. Atkinson, Levente Kovács, Andras Koltay, Norbert Kiss, Hojjat Adeli
2021	J	`jnl`	Parallel MPC for Linear Systems With Input Constraints. IEEE Trans. Autom. Control. Yuning Jiang, Juraj Oravec, Boris Houska, Michal Kvasnica
2020	—	`conf`	A Framework for Embedded Model Predictive Control using Posits. CDC Chaitanya Jugade, Deepak Ingole, Dayaram N. Sonawane, Michal Kvasnica, John L. Gustafson
2020	J	`jnl`	Regionless Explicit Model Predictive Control of Active Suspension Systems With Preview. IEEE Trans. Ind. Electron. Johan Theunissen, Aldo Sorniotti, Patrick Gruber, Saber Fallah, Marco Ricco, Michal Kvasnica, Miguel Dhaens
2019	—	`conf`	Active set updates in event-triggered networked MPC. ECC Patrik Berner, Kai König, Michal Kvasnica, Martin Mönnigmann
2019	J	`jnl`	Complexity reduction in explicit MPC: A reachability approach. Syst. Control. Lett. Michal Kvasnica, Peter Bakarác, Martin Klauco
2019	J	`jnl`	Convex-lifting-based robust control design using the tunable robust invariant sets. Eur. J. Control Juraj Oravec, Juraj Holaza, Michaela Horváthová, Ngoc Anh Nguyen, Michal Kvasnica, Monika Bakosova
2019	J	`jnl`	Machine learning-based warm starting of active set methods in embedded model predictive control. Eng. Appl. Artif. Intell. Martin Klauco, Martin Kalúz, Michal Kvasnica
2018	J	`jnl`	A Parametric Programming Approach to Automated Integrated Circuit Design. IEEE Trans. Control. Syst. Technol. Juraj Stevek, Michal Kvasnica, Miroslav Fikar, Alojz Gomola
2018	—	`conf`	Explicit MPC based on Approximate Dynamic Programming. ECC Peter Bakarác, Juraj Holaza, Martin Kalúz, Martin Klauco, Johan Löfberg, Michal Kvasnica
2018	J	`jnl`	MPC-based reference governor control of a continuous stirred-tank reactor. Comput. Chem. Eng. Juraj Holaza, Martin Klauco, Ján Drgona, Juraj Oravec, Michal Kvasnica, Miroslav Fikar
2017	J	`jnl`	Convex liftings-based robust control design. Autom. Ngoc Anh Nguyen, Sorin Olaru, Pedro Rodríguez-Ayerbe, Michal Kvasnica
2017	J	`jnl`	Optimal control of a laboratory binary distillation column via regionless explicit MPC. Comput. Chem. Eng. Ján Drgona, Martin Klauco, Filip Janecek, Michal Kvasnica
2016	J	`jnl`	An optimal path planning problem for heterogeneous multi-vehicle systems. Int. J. Appl. Math. Comput. Sci. Martin Klauco, Slavomir Blazek, Michal Kvasnica
2016	—	`conf`	Implicit vs explicit MPC - Similarities, differences, and a path owards a unified method. ECC Michal Kvasnica
2016	—	`conf`	Python code generation for explicit MPC in MPT. ECC Bálint Takács, Juraj Stevek, Richard Valo, Michal Kvasnica
2016	—	`conf`	Regionless explicit MPC of a distillation column. ECC Ján Drgona, Filip Janecek, Martin Klauco, Michal Kvasnica
2015	—	`conf`	Design and verification of low-complexity explicit MPC controllers in MPT3. ECC Michal Kvasnica, Juraj Holaza, Bálint Takács, Deepak Ingole
2015	J	`jnl`	Enumeration-based approach to solving parametric linear complementarity problems. Autom. Martin Herceg, Colin N. Jones, Michal Kvasnica, Manfred Morari
2015	J	`jnl`	Explicit MPC-Based RBF Neural Network Controller Design With Discrete-Time Actual Kalman Filter for Semiactive Suspension. IEEE Trans. Control. Syst. Technol. Lehel Huba Cseko, Michal Kvasnica, Béla Lantos
2015	—	`conf`	MPC-based reference governors for thermostatically controlled residential buildings. CDC Ján Drgona, Martin Klauco, Michal Kvasnica
2015	—	`conf`	On region-free explicit model predictive control. CDC Michal Kvasnica, Bálint Takács, Juraj Holaza, Stefano Di Cairano
2015	—	`conf`	Optimal vehicle routing with interception of targets' neighbourhoods. ECC Juraj Oravec, Martin Klauco, Michal Kvasnica, Johan Löfberg
2015	—	`conf`	Safety verification of implicitly defined MPC feedback laws. ECC Juraj Holaza, Bálint Takács, Michal Kvasnica, Stefano Di Cairano
2014	—	`conf`	Explicit MPC approach to PMV-based thermal comfort control. CDC Martin Klauco, Michal Kvasnica
2014	—	`conf`	Mixed-integer SOCP formulation of the path planning problem for heterogeneous multi-vehicle systems. ECC Martin Klauco, Slavomir Blazek, Michal Kvasnica, Miroslav Fikar
2013	J	`jnl`	A Decentralized Explicit Predictive Control Paradigm for Parallelized DC-DC Circuits. IEEE Trans. Control. Syst. Technol. A. Giovanni Beccuti, Michal Kvasnica, Georgios Papafotiou, Manfred Morari
2013	J	`jnl`	Complexity reduction of explicit model predictive control via separation. Autom. Michal Kvasnica, Juraj Hledik, Ivana Rauová, Miroslav Fikar
2013	—	`conf`	Explicit MPC of LPV systems in the controllable canonical form. ECC Michal Kvasnica, Alexander Szucs, Miroslav Fikar, Ján Drgona
2013	—	`conf`	Explicit stochastic MPC approach to building temperature control. CDC Ján Drgona, Michal Kvasnica, Martin Klauco, Miroslav Fikar
2013	—	`conf`	Multi-Parametric Toolbox 3.0. ECC Martin Herceg, Michal Kvasnica, Colin N. Jones, Manfred Morari
2013	—	`conf`	Nearly-optimal simple explicit MPC regulators with recursive feasibility guarantees. CDC Bálint Takács, Juraj Holaza, Michal Kvasnica, Stefano Di Cairano
2013	—	`conf`	Polygonic representation of Explicit Model Predictive Control. CDC Juraj Oravec, Slavomir Blazek, Michal Kvasnica, Stefano Di Cairano
2012	—	`conf`	A hierarchical design methodology for implementing safety-critical constrained controllers with guaranteed stability and failure detection. CDC Michal Kvasnica, Ravi Gondhalekar, Miroslav Fikar
2012	J	`jnl`	Clipping-Based Complexity Reduction in Explicit MPC. IEEE Trans. Autom. Control. Michal Kvasnica, Miroslav Fikar
2012	—	`conf`	Optimal Piecewise Affine Approximations of Nonlinear Functions Obtained from Measurements. ADHS Alexander Szucs, Michal Kvasnica, Miroslav Fikar
2012	—	`conf`	Reducing the memory footprint of explicit MPC solutions by partial selection. CDC Michal Kvasnica, Juraj Hledik, Miroslav Fikar
2011	—	`conf`	A memory-efficient representation of explicit MPC solutions. CDC/ECC Alexander Szucs, Michal Kvasnica, Miroslav Fikar
2011	J	`jnl`	Stabilizing polynomial approximation of explicit MPC. Autom. Michal Kvasnica, Johan Löfberg, Miroslav Fikar
2010	—	`conf`	Automatic code generation for real-time implementation of Model Predictive Control. CACSD Michal Kvasnica, Ivana Rauová, Miroslav Fikar
2010	—	`conf`	Design and implementation of model predictive control using Multi-Parametric Toolbox and YALMIP. CACSD Michal Kvasnica, Miroslav Fikar
2010	C	`conf`	Low-complexity polynomial approximation of explicit MPC via linear programming. ACC Michal Kvasnica, Johan Löfberg, Martin Herceg, Lubos Cirka, Miroslav Fikar
2010	—	`conf`	Performance-lossless complexity reduction in Explicit MPC. CDC Michal Kvasnica, Miroslav Fikar
2009	—	`conf`	Robust adaptive minimum-time control of Piecewise Affine systems. CDC Michal Kvasnica, Martin Herceg, Lubos Cirka, Miroslav Fikar
2009	—	`conf`	Time-optimal control of Takagi-Sugeno fuzzy systems. ECC Michal Kvasnica, Martin Herceg, Lubos Cirka, Miroslav Fikar
2008	—	`—`	Efficient software tools for control and analysis of hybrid systems. Michal Kvasnica
2007	—	`conf`	Transformation of Fuzzy Takagi-Sugeno Models into Piecewise Affine Models. RSEISP Martin Herceg, Michal Kvasnica, Miroslav Fikar
2005	J	`jnl`	Stabilizing low complexity feedback control of constrained piecewise affine systems. Autom. Pascal Grieder, Michal Kvasnica, Mato Baotic, Manfred Morari
2004	—	`conf`	Computation of invariant sets for piecewise affine discrete time systems subject to bounded disturbances. CDC Sasa V. Rakovic, Pascal Grieder, Michal Kvasnica, David Q. Mayne, Manfred Morari
2004	—	`conf`	Efficient computation of controller partitions in multi-parametric programming. CDC R. Suard, Johan Löfberg, Pascal Grieder, Michal Kvasnica, Manfred Morari
2004	C	`conf`	Low complexity control of piecewise affine systems with stability guarantee. ACC Pascal Grieder, Michal Kvasnica, Mato Baotic, Manfred Morari
2004	—	`conf`	Multi-Parametric Toolbox (MPT). HSCC Michal Kvasnica, Pascal Grieder, Mato Baotic, Manfred Morari