Sciweavers

    13717 search results - page 63 / 2744
    » Control Systems
    Sort
    View
    149
    Voted
    HYBRID
    1995
    Springer
    150views Control Systems» more  HYBRID 1995»
    UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems
    15 years 8 months ago
    UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems
    Download  www.brics.dk
    Johan Bengtsson, Kim Guldstrand Larsen, Fredrik La...
    claim paper
    Read More »
    RTSS
    1995
    IEEE
    131views Control Systems» more  RTSS 1995»
    The Design of Large Real-Time Systems: The Time-Triggered Approach
    15 years 8 months ago
    The Design of Large Real-Time Systems: The Time-Triggered Approach
    Download  www.vmars.tuwien.ac.at
    Hermann Kopetz, Martin Braun, Christian Ebner, And...
    claim paper
    Read More »
    138
    Voted
    HYBRID
    2010
    Springer
    119views Control Systems» more  HYBRID 2010»
    Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
    15 years 6 months ago
    Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
    Download  www.cs.colorado.edu
    Truong Nghiem, Sriram Sankaranarayanan, Georgios E...
    claim paper
    Read More »
    RECSYS
    2010
    ACM
    207views Control Systems» more  RECSYS 2010»
    A lightweight privacy preserving SMS-based recommendation system for mobile users
    15 years 4 months ago
    A lightweight privacy preserving SMS-based recommendation system for mobile users
    Download  www.perada.eu
    Elisa Baglioni, Luca Becchetti, Lorenzo Bergamini,...
    claim paper
    Read More »
    CDC
    2008
    IEEE
    130views Control Systems» more  CDC 2008»
    Optimal stopping for event-triggered sensing and actuation
    15 years 4 months ago
    Optimal stopping for event-triggered sensing and actuation
    Download  www.s3.kth.se
    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...
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.