Sciweavers

37 search results - page 6 / 8
» Identification of Discrete Event Systems - Implementation Is...
Sort
View
ENTCS
2007
120views more  ENTCS 2007»
13 years 5 months ago
Non-Interference Control Synthesis for Security Timed Automata
In this paper, the problem of synthesizing controllers that ensures non interference for multilevel security dense timed discrete event systems modeled by an extension of Timed Au...
Guillaume Gardey, John Mullins, Olivier H. Roux
CDC
2010
IEEE
160views Control Systems» more  CDC 2010»
13 years 24 days ago
Model-on-Demand predictive control for nonlinear hybrid systems with application to adaptive behavioral interventions
This paper presents a data-centric modeling and predictive control approach for nonlinear hybrid systems. System identification of hybrid systems represents a challenging problem b...
Naresh N. Nandola, Daniel E. Rivera
COLING
2010
13 years 23 days ago
Detecting Speech Repairs Incrementally Using a Noisy Channel Approach
Unrehearsed spoken language often contains disfluencies. In order to correctly interpret a spoken utterance, any such disfluencies must be identified and removed or otherwise deal...
Simon Zwarts, Mark Johnson, Robert Dale
ACSD
2005
IEEE
126views Hardware» more  ACSD 2005»
13 years 11 months ago
Modelling and Analysis of Distributed Simulation Protocols with Distributed Graph Transformation
This paper presents our approach to model distributed discrete event simulation systems in the framework of distributed graph transformation. We use distributed typed attributed g...
Juan de Lara, Gabriele Taentzer
ICASSP
2009
IEEE
14 years 16 days ago
A flat direct model for speech recognition
We introduce a direct model for speech recognition that assumes an unstructured, i.e., flat text output. The flat model allows us to model arbitrary attributes and dependences o...
Georg Heigold, Geoffrey Zweig, Xiao Li, Patrick Ng...