Sciweavers

10 search results - page 1 / 2
» A partial reconfigurable architecture for controllers based ...
Sort
View
SBCCI
2004
ACM
111views VLSI» more  SBCCI 2004»
14 years 25 days ago
A partial reconfigurable architecture for controllers based on Petri nets
Digital Control System in the industry has been used in most of the applications based on expensive Programmable Logical Controllers (PLC). These Systems are, in general, highly c...
Paulo Sérgio B. do Nascimento, Paulo Romero...
APN
2001
Springer
13 years 11 months ago
Partial Order Verification of Programmable Logic Controllers
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...
Peter Deussen
SERP
2004
13 years 8 months ago
A Petri Net Based Software Architecture for UAV Simulation
This paper presents a Petri net-based hierarchical architecture for multiple Unmanned Aerial Vehicle (UAV) simulations in order to facilitate rapid prototyping via visual modeling...
Dianxiang Xu, Priti Borse, Ken Grigsby, Kendall E....
CDC
2009
IEEE
115views Control Systems» more  CDC 2009»
14 years 4 days ago
Qualitative diagnosability of labeled petri nets revisited
Abstract— In recent years, classical discrete event fault diagnosis techniques have been extended to Petri Net system models under partial order semantics [8], [9], [13]. In [14]...
Stefan Haar
ARC
2008
Springer
89views Hardware» more  ARC 2008»
13 years 9 months ago
A Networked, Lightweight and Partially Reconfigurable Platform
Abstract. In this paper we present a networked lightweight and partially reconfigurable platform assisted by a remote bitstreams server. We propose a software and hardware architec...
Pierre Bomel, Guy Gogniat, Jean-Philippe Diguet