Jakub Novák

14 papers B 1C 5Journal 1Unranked 7
YearRankTypeTitle / Venue / Authors
2024 — conf
Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution - (Competition Contribution).
TACAS (3)
Martin Jonás, Kristián Kumor, Jakub Novák, Jindrich Sedlácek, Marek Trtík, Lukás Zaoral, Paulína Ayaziová, Jan Strejcek
2021 — conf
Symbiotic 8: Beyond Symbolic Execution - (Competition Contribution).
TACAS (2)
Marek Chalupa, Tomás Jasek, Jakub Novák, Anna Rechtácková, Veronika Soková, Jan Strejcek
2021 B conf
Symbiotic 8: Parallel and Targeted Test Generation - (Competition Contribution).
FASE
Marek Chalupa, Jakub Novák, Jan Strejcek
2017 C conf
Compensation Of Valve Deadzone Using Mixed Integer Predictive Control.
ECMS
Jakub Novák, Petr Chalupa
2017 C conf
Modelling And Model Predictive Control Of Magnetic Levitation Laboratory Plant.
ECMS
Petr Chalupa, Jakub Novák, Martin Maly
2016 C conf
Nonlinear Simulink Model Of Magnetic Levitation Laboratory Plant.
ECMS
Petr Chalupa, Martin Maly, Jakub Novák
2013 J jnl
Modeling and model predictive control of a nonlinear hydraulic system.
Comput. Math. Appl.
Petr Chalupa, Jakub Novák
2013 — conf
Nonlinear State Estimation and Predictive Control of pH Neutralization Process.
NOSTRADAMUS
Jakub Novák, Petr Chalupa
2013 — conf
State Observers for Model Predictive Control.
NOSTRADAMUS
Petr Chalupa, Peter Januska, Jakub Novák
2012 — conf
Modeling and Model Predictive Control of Nonlinear Hydraulic System.
NOSTRADAMUS
Petr Chalupa, Jakub Novák
2012 — conf
Multiple Model Predictive Control of a Styrene Polymerization Process.
NOSTRADAMUS
Jakub Novák, Petr Chalupa
2010 — conf
Identification of local model networks parameters using fuzzy clustering.
ALCOSP
Jakub Novák, Petr Chalupa, Vladimir Bobal
2009 C conf
Local Model Networks For Modelling And Predictive Control Of Nonlinear Systems.
ECMS
Jakub Novák, Petr Chalupa, Vladimir Bobal
2009 C conf
Using Of Self-Tuning Controllers Simulink Library For Real-Time Control Of Nonlinear Servo System.
ECMS
Petr Chalupa, Vladimir Bobal, Jakub Novák, Petr Dostál