163 search results - page 2 / 33 » Executable HybridUML and Its Application to Train Control Sy... |
AUTOMATICA
2008
13 years 5 months ago
2008
An approach of output regulation with measurement feedback is proposed for the control of heavy haul trains. The objective is to regulate all cars' speeds to a prescribed spe...
FDL
2005
IEEE
13 years 11 months ago
2005
IEEE
To address performance limitations and expand their applications range, emerging and mature display technologies rely on the design of novel display controllers. Under current mod...
NDSS
2003
IEEE
13 years 10 months ago
2003
IEEE
Security is a major, frequent concern in extensible software systems such as Java Virtual Machines and the Common Language Runtime. These systems aim to enable simple, classic app...
JIRS
2000
13 years 5 months ago
2000
Agents (hardware or software) that act autonomously in an environment have to be able to integrate three basic behaviors: planning, execution, and learning. This integration is man...
HYBRID
2009
Springer
14 years 1 days ago
2009
Springer
Abstract. In this paper, we consider the problem of generating optimized, executable control code from high-level, symbolic specifications. In particular, we construct symbolic co...