-
Monitoring of the event-driven dynamic processes
As part of this thesis, we focus on the monitoring of hybrid systems with high dynamic event. The aim is to detect faults that cause permanent and intermittent... -
Computational Approaches to Analysis and Control of Hybrid Systems
A hybrid system is a dynamical system exhibiting both continuous and discrete behaviors. Motivated by the multiplication of ''discrete'' embedded computing devices... -
Relational Verification of Programs with Integer Data
Tato pr´ace pˇredstavuje nov´e metody pro verifikaci program°u pracuj´ıc´ıch s neomezen´ymiceloˇc´ıslen´ymi promˇenn´ymi, konkr´etnˇe metody pro anal´yzu...
