Supervisors of Petri Nets
Flochová, Jana, Lojan, Tomáš
Published in Vedecké práce Materiálovotechnologickej fakulty Slovenskej technickej univerzity v Bratislave so sídlom v Trnave (01.01.2019)
Published in Vedecké práce Materiálovotechnologickej fakulty Slovenskej technickej univerzity v Bratislave so sídlom v Trnave (01.01.2019)
Get full text
Journal Article
Model-based diagnosis of discrete event systems
Flochova, J., Jiroveanu, G., Boel, R.K.
Published in 28th International Conference on Information Technology Interfaces, 2006 (2006)
Published in 28th International Conference on Information Technology Interfaces, 2006 (2006)
Get full text
Conference Proceeding
Tool for Diagnosis of Stochastic Automata
Kristofik, Stefan, Flochova, Jana
Published in 2020 6th International Conference on Event-Based Control, Communication, and Signal Processing (EBCCSP) (23.09.2020)
Published in 2020 6th International Conference on Event-Based Control, Communication, and Signal Processing (EBCCSP) (23.09.2020)
Get full text
Conference Proceeding
Timed Automaton and Petri Net models of Intersection Control
Flochova, Jana, Pivarcek, Jan, Kubanda, Peter
Published in 2020 7th International Conference on Control, Decision and Information Technologies (CoDIT) (29.06.2020)
Published in 2020 7th International Conference on Control, Decision and Information Technologies (CoDIT) (29.06.2020)
Get full text
Conference Proceeding
Industrial Tools and Emulators in Bachelor Education
Flochová, Jana, Zolotová, Iveta, Mudrončík, Dušan
Published in IFAC Proceedings Volumes (01.06.2003)
Published in IFAC Proceedings Volumes (01.06.2003)
Get full text
Journal Article
Development of IoT applications based on the MicroPython platform for Industry 4.0 implementation
Gaspar, Gabriel, Fabo, Peter, Kuba, Michal, Flochova, Jana, Dudak, Juraj, Florkova, Zuzana
Published in 2020 19th International Conference on Mechatronics - Mechatronika (ME) (02.12.2020)
Published in 2020 19th International Conference on Mechatronics - Mechatronika (ME) (02.12.2020)
Get full text
Conference Proceeding
Model based implementation of supervisors and diagnosers in VHDL code of programmable systems
Flochova, J., Holly, J., Zapaticky, M., Pivarcek, J.
Published in 2011 IEEE EUROCON - International Conference on Computer as a Tool (01.04.2011)
Published in 2011 IEEE EUROCON - International Conference on Computer as a Tool (01.04.2011)
Get full text
Conference Proceeding
On industrial techniques and information technology control classrooms
Flochova, J., Mrafko, L., Mudroncik, D., Auxt, F.
Published in 2007 46th IEEE Conference on Decision and Control (01.12.2007)
Published in 2007 46th IEEE Conference on Decision and Control (01.12.2007)
Get full text
Conference Proceeding