Sciweavers

2670 search results - page 193 / 534
» Modeling systems with internal state using evolino
Sort
View
FATES
2004
Springer
15 years 12 months ago
Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach
A Time Action Lock is a state of a Real-time system at which neither time can progress nor an action can occur. Time Action Locks are often seen as signs of errors in the model or ...
Behzad Bordbar, Kozo Okano
WSC
2008
15 years 8 months ago
Discrete Rate Simulation using linear programming
Discrete Rate Simulation (DRS) is a modeling methodology that uses event based logic to simulate linear continuous processes and hybrid systems. These systems are concerned with t...
Cecile Damiron, Anthony Nastasi
CDC
2009
IEEE
131views Control Systems» more  CDC 2009»
15 years 10 months ago
Further results on plant parameter identification using continuous-time multiple-model adaptive estimators
This paper describes a deterministic approach to adaptive state and parameter estimation using a multiple model structure. In the set-up adopted, the plant of interest is described...
Vahid Hassani, A. Pedro Aguiar, António Man...
QSIC
2007
IEEE
16 years 25 days ago
Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power Grid
The advanced electric power grid is a complex real-time system having both Cyber and Physical components. While each component may function correctly, independently, their composi...
Yan Sun, Bruce M. McMillin, Xiaoqing Frank Liu, Da...
AAAI
2007
15 years 8 months ago
The More the Merrier: Multi-Party Negotiation with Virtual Humans
The goal of the Virtual Humans Project at the University of Southern California’s Institute for Creative Technologies is to enrich virtual training environments with virtual hum...
Patrick G. Kenny, Arno Hartholt, Jonathan Gratch, ...