If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Viktorio Semir El Hakim is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 1 Similar Profiles
Sampling Engineering & Materials Science
Execution Time Mathematics
Hybrid Automata Mathematics
Reachability Analysis Mathematics
Critical State Mathematics
Jitter Mathematics
Model checking Engineering & Materials Science
Particle Filter Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2017 2019

  • 3 Conference contribution
11 Downloads (Pure)

Reachability Analysis of Hybrid Automata with Clocked Linear Dynamics

El Hakim, V. S. & Bekooij, M. J. G., 27 May 2019, SCOPES '19 Proceedings of the 22nd International Workshop on Software and Compilers for Embedded Systems. Stuijk, S. (ed.). ACM Inc., p. 27-36 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Hybrid Automata
Reachability Analysis
Clocks
Pipe Flow
Pipe flow
1 Citation (Scopus)
33 Downloads (Pure)

Stability Verification of Self-Timed Control Systems using Model-Checking

El Hakim, V. S. & Bekooij, M. J. G., 2018, 2018 21st Euromicro Conference on Digital System Design (DSD) . IEEE, p. 312-319 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Model checking
Model Checking
Stability Analysis
Workload Characterization
Control System

Sampling Jitter mitigation in latency-critical state-estimation applications using particle filters

El Hakim, V. S. & Bekooij, M. J. G., 3 Apr 2017, 2017 SICE International Symposium on Control Systems. IEEE, 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Critical State
Jitter
Particle Filter
State Estimation
State estimation