Jakub Novák

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 6

Top Topics

Static Analysis

Symbolic Execution

Predictive Control

Top Venues

Publications

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