2467 search results - page 384 / 494 » Finite State Machines |
91
Voted
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract— This paper presents a generalized Model Predictive Direct Torque Control scheme with an extended horizon, which is composed of multiple hinges (groups of switch transit...
84
Voted
ICALP
2001
Springer
15 years 5 months ago
2001
Springer
Formal power series are an extension of formal languages. Recognizable formal power series can be captured by the so-called weighted finite automata, generalizing finite state ma...
77
Voted
UML
2001
Springer
15 years 5 months ago
2001
Springer
We present a real-time execution semantics for UML activity graphs that is intended for workflow modelling. The semantics is defined in terms of execution algorithms that define...
84
Voted
CODES
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper describes the functional specification and verification portions of El Greco, a system for high-level, heterogeneous functional specification, efficient compiled si...
HICSS
2000
IEEE
15 years 5 months ago
2000
IEEE
A new tool for computing and visualizing the operation of power system components and systems is presented. One component of the tool is a time domain simulator that operates in t...