Sciweavers

2136 search results - page 7 / 428
» Learning Behavior Models for Hybrid Timed Systems
Sort
View
CAV
1997
Springer
202views Hardware» more  CAV 1997»
15 years 4 months ago
HYTECH: A Model Checker for Hybrid Systems
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
HYBRID
1995
Springer
15 years 3 months ago
Supervisory Control of Real-Time Systems Using Prioritized Synchronization
The theory of supervisory control of discrete event systems is extended to the real-time setting. The real-time behavior of a system is represented by the set of all possible time...
Ratnesh Kumar, Mark A. Shayman
FBT
1998
119views Formal Methods» more  FBT 1998»
15 years 1 months ago
Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
Dirk Beyer, Heinrich Rust
108
Voted
DATE
2004
IEEE
129views Hardware» more  DATE 2004»
15 years 4 months ago
Modeling Shared Resource Contention Using a Hybrid Simulation/Analytical Approach
Future Systems-on-Chips will include multiple heterogeneous processing units, with complex data-dependent shared resource access patterns dictating the performance of a design. Cu...
Alex Bobrek, Joshua J. Pieper, Jeffrey E. Nelson, ...
GFKL
2005
Springer
93views Data Mining» more  GFKL 2005»
15 years 5 months ago
A Hybrid Machine Learning Approach for Information Extraction from Free Text
Abstract. We present a hybrid machine learning approach for information extraction from unstructured documents by integrating a learned classifier based on the Maximum Entropy Mod...
Günter Neumann