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

Research Output 2017 2019

  • 3 Conference contribution
2019
34 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
2018
1 Citation (Scopus)
46 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
2017
1 Citation (Scopus)
36 Downloads (Pure)

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