Keyword:real-time systems

Publications
Monitoring Employees Entering and Leaving the Office with Deep Learning Algorithms Viet Tran Hoang, Khoi Tran Minh, Nghia Dang Hieu and Viet Nguyen Hoang EasyChair Preprint 6880
Bus-Contention Aware Schedulability Analysis for the 3-Phase Task Model with Partitioned Scheduling Jatin Arora, Cláudio Maia, Syed Aftab Rashid, Geoffrey Nelissen and Eduardo Tovar EasyChair Preprint 5200
Designing of Automatic Control System for Camera Crane Based on PID controller and Inertial Measurement Unit Hanna Saryboha and Yulia Yamnenko EasyChair Preprint 3226
Analysis of Real-Time Control Systems using First-Order Continuization Maximilian Gaukler In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
Automated Invariant Generation for the Verification of Real-Time Systems Bahareh Badban, Stefan Leue and Jan-Georg Smaus In:WING 2010. Workshop on Invariant Generation 2010