Keyword:real-time systems

Papers
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 no. 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 no. 5200
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)
Designing of Automatic Control System for Camera Crane Based on PID controller and Inertial Measurement Unit Hanna Saryboha and Yulia Yamnenko EasyChair Preprint no. 3226
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