Sciweavers

    3565 search results - page 19 / 713
    » Modeling a system controller for timing analysis
    Sort
    View
    CDC
    2008
    IEEE
    129views Control Systems» more  CDC 2008»
    Optimal control of a fedbatch fermentation process: Numerical methods, sufficient conditions and sensitivity analysis
    15 years 7 months ago
    Optimal control of a fedbatch fermentation process: Numerical methods, sufficient conditions and sensitivity analysis
    Download  wwwmath.uni-muenster.de
    Bang-bang and singular optimal controls in a fedbatch fermentation process are computed for a range of time horizons. Numerical algorithms for determining the optimal control struc...
    Adam Korytowski, Maciej Szymkat, Helmut Maurer, Ge...
    claim paper
    Read More »
    HYBRID
    2007
    Springer
    121views Control Systems» more  HYBRID 2007»
    Symbolic Analysis for GSMP Models with One Stateful Clock
    16 years 11 hour ago
    Symbolic Analysis for GSMP Models with One Stateful Clock
    Download  www.cis.upenn.edu
    We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
    Mikhail Bernadsky, Rajeev Alur
    claim paper
    Read More »
    TII
    2008
    77views more  TII 2008»
    The One-Shot Task Model for Robust Real-Time Embedded Control Systems
    15 years 5 months ago
    The One-Shot Task Model for Robust Real-Time Embedded Control Systems
    Download  www.arl.wustl.edu
    Embedded control systems are often implemented in small microprocessors enabled with real-time technology. In this context, control laws are often designed according to discrete-ti...
    Camilo Lozoya, Manel Velasco, Pau Martí
    claim paper
    Read More »
    RTSS
    2003
    IEEE
    98views Control Systems» more  RTSS 2003»
    FAST: Frequency-Aware Static Timing Analysis
    15 years 11 months ago
    FAST: Frequency-Aware Static Timing Analysis
    Download  moss.csc.ncsu.edu
    Kiran Seth, Aravindh Anantaraman, Frank Mueller, E...
    claim paper
    Read More »
    FMCAD
    2006
    Springer
    87views Formal Methods» more  FMCAD 2006»
    Model Checking Data-Dependent Real-Time Properties of the European Train Control System
    15 years 9 months ago
    Model Checking Data-Dependent Real-Time Properties of the European Train Control System
    Download  csd.informatik.uni-oldenburg.de
    Johannes Faber, Roland Meyer
    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.