Sciweavers

    828 search results - page 3 / 166
    » Modularity for Timed and Hybrid Systems
    Sort
    View
    FTRTFT
    1998
    Springer
    92views Formal Methods» more  FTRTFT 1998»
    A Modular Visual Model for Hybrid Systems
    14 years 26 days ago
    A Modular Visual Model for Hybrid Systems
    Download  www.cs.sunysb.edu
    Visual description techniques are particularly important for the design of hybrid systems because specifications of such systems must usually be discussed between engineers from a ...
    Radu Grosu, Thomas Stauner, Manfred Broy
    claim paper
    Read More »
    HYBRID
    2001
    Springer
    105views Control Systems» more  HYBRID 2001»
    Optimal Paths in Weighted Timed Automata
    14 years 1 months ago
    Optimal Paths in Weighted Timed Automata
    Download  www.seas.upenn.edu
    Rajeev Alur, Salvatore La Torre, George J. Pappas
    claim paper
    Read More »
    CSREAESA
    2006
    165views Embedded Systems» more  CSREAESA 2006»
    Improving the Fault Tolerance of a Computer System with Space-Time Triple Modular Redundancy
    13 years 10 months ago
    Improving the Fault Tolerance of a Computer System with Space-Time Triple Modular Redundancy
    Download  ww1.ucmss.com
    - Triple Modular Redundancy is widely used in dependable systems design to ensure high reliability against soft errors. Conventional TMR is effective in protecting sequential circu...
    Wei Chen, Rui Gong, Fang Liu, Kui Dai, Zhiying Wan...
    claim paper
    Read More »
    JACIC
    2007
    84views more  JACIC 2007»
    A Modular, Hybrid System Architecture for Autonomous, Urban Driving
    13 years 8 months ago
    A Modular, Hybrid System Architecture for Autonomous, Urban Driving
    Download  users.ece.gatech.edu
    Autonomous navigation in urban environments inevitably leads to having to switch between various, sometimes conflicting control tasks. Sting Racing, a collaboration between Georg...
    David Wooden, Matthew Powers, Magnus Egerstedt, He...
    claim paper
    Read More »
    FLAIRS
    2000
    88views Artificial Intelligence» more  FLAIRS 2000»
    Producing Modular Hybrid Rule Bases for Expert Systems
    13 years 10 months ago
    Producing Modular Hybrid Rule Bases for Expert Systems
    Download  mmlab.ceid.upatras.gr
    Ioannis Hatzilygeroudis, Jim Prentzas
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.