Sciweavers

527 search results - page 78 / 106
» Case Study: System Model of Crane and Embedded Control
Sort
View
ARTS
1997
Springer
15 years 1 months ago
PLC-Automata: A New Class of Implementable Real-Time Automata
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
Henning Dierks
CDC
2009
IEEE
164views Control Systems» more  CDC 2009»
15 years 2 months ago
Evaluation of track following servo performance for patterned servo sectors in hard disk drives
— A promising approach for ultra high data storage capacities in magnetic hard disk drives is the use of bitpatterned media (BPM) that allows both higher track densities and incr...
Younghee Han, Raymond A. de Callafon
89
Voted
EMSOFT
2006
Springer
15 years 1 months ago
A hierarchical coordination language for interacting real-time tasks
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the la...
Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli...
SACMAT
2009
ACM
15 years 4 months ago
Symbolic reachability analysis for parameterized administrative role based access control
Role based access control (RBAC) is a widely used access control paradigm. In large organizations, the RBAC policy is managed by multiple administrators. An administrative role ba...
Scott D. Stoller, Ping Yang, Mikhail I. Gofman, C....
WSC
2000
14 years 11 months ago
Simulation as educational support for production and logistics in industrial engineering
The proposed implementation is a monitor system able to train operators for on-line real time manufacturing control in order to analyze the performance of a production process. Th...
Agostino G. Bruzzone, Pietro Giribone, Roberto Rev...