1341 search results - page 79 / 269 » Unified Modeling of Complex Real-Time Control Systems |
125
click to vote
IFIPTCS
2000
15 years 7 months ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
147
Voted
HASE
1999
IEEE
15 years 7 months ago
1999
IEEE
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
117
click to vote
WSC
2007
15 years 5 months ago
2007
OLE Process Control (OPC) is an industry standard that facilitates the communication between PCs and Programmable Logic Controllers (PLC). This communication allows for the testin...
166
Voted
CL
2008
Springer
15 years 3 months ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
162
Voted
DAC
2000
ACM
16 years 4 months ago
2000
ACM
In this paper, we introduce a new technique for modeling and solving the dynamic power management (DPM) problem for systems with complex behavioral characteristics such as concurr...