Sciweavers

13717 search results - page 63 / 2744
» Control Systems
Sort
View
HYBRID
1995
Springer
15 years 3 months ago
UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems
Johan Bengtsson, Kim Guldstrand Larsen, Fredrik La...
RTSS
1995
IEEE
15 years 3 months ago
The Design of Large Real-Time Systems: The Time-Triggered Approach
Hermann Kopetz, Martin Braun, Christian Ebner, And...
HYBRID
2010
Springer
15 years 1 months ago
Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
Truong Nghiem, Sriram Sankaranarayanan, Georgios E...
RECSYS
2010
ACM
15 years 2 days ago
A lightweight privacy preserving SMS-based recommendation system for mobile users
Elisa Baglioni, Luca Becchetti, Lorenzo Bergamini,...
CDC
2008
IEEE
130views Control Systems» more  CDC 2008»
15 years 1 days ago
Optimal stopping for event-triggered sensing and actuation
Novel event-triggered sensing and actuation strategies are presented for networked control systems with limited communication resources. Two architectures are considered: one with ...
Maben Rabi, Karl Henrik Johansson, Mikael Johansso...