A distributed architecture for activating the peripheral nervous system
We present a new system for functional electrical stimulation (FES) applications based on
networked stimulation units. They embed an advanced analog circuit, which provides …
networked stimulation units. They embed an advanced analog circuit, which provides …
Model checking reconfigurable Petri nets with Maude
J Padberg, A Schulz - … : 9th International Conference, ICGT 2016, in …, 2016 - Springer
Abstract Model checking is a widely used technique to prove properties such as liveness,
deadlock or safety for a given model. Here we introduce model checking of reconfigurable …
deadlock or safety for a given model. Here we introduce model checking of reconfigurable …
Modeling video traffic in the wavelet domain
S Ma, C Ji - Proceedings. IEEE INFOCOM'98, the Conference …, 1998 - ieeexplore.ieee.org
A significant discovery from this work is that although video traffic has complicated short-and
long-range dependence in the time domain, the corresponding wavelet coefficients are no …
long-range dependence in the time domain, the corresponding wavelet coefficients are no …
Model checking of UML activity diagrams in logic controllers design
I Grobelna, M Grobelny, M Adamski - … -RELCOMEX. June 30–July 4, 2014 …, 2014 - Springer
The article presents a novel approach to model checking of UML activity diagrams (in
version 2. x) for logic controller specification. A novel idea to design embedded systems by …
version 2. x) for logic controller specification. A novel idea to design embedded systems by …
Handling exceptions in Petri net-based digital architecture: From formalism to implementation on FPGAs
H Leroux, D Andreu… - IEEE Transactions on …, 2015 - ieeexplore.ieee.org
A component-based approach to the specification and implementation of complex digital
systems on field-programmable gate arrays (FPGAs) has been developed, with the behavior …
systems on field-programmable gate arrays (FPGAs) has been developed, with the behavior …
Performances evaluation and Petri nets
O Diallo, JJPC Rodrigues, M Sene - Modeling and Simulation of Computer …, 2015 - Elsevier
Petri nets have become a tremendously important mathematical and graphical tool in
modeling and performance evaluation of real systems with discrete events that are …
modeling and performance evaluation of real systems with discrete events that are …
Petri Nets and activity diagrams in logic controller specification-transformation and verification
I Grobelna, M Grobelny… - Proceedings of the 17th …, 2010 - ieeexplore.ieee.org
The paper presents formal verification method of logic controller specification taking into
account user-specified properties. Logic controller specification may be expressed as Petri …
account user-specified properties. Logic controller specification may be expressed as Petri …
Interpreted synchronous extension of time Petri nets: Definition, semantics and formal analysis
K Godary-Dejean, H Leroux, D Andreu - Discrete Event Dynamic Systems, 2022 - Springer
Our work is integrated into a global methodology to design synchronously executed
embedded critical systems. It is used for the development of medical devices implanted into …
embedded critical systems. It is used for the development of medical devices implanted into …
Petri nets mapping into reconfigurable logic controllers
The paper concentrates on the behavioral specification of Reconfigurable Logic Controller
programs, given initially as Petri nets and later rewritten in Hardware Description …
programs, given initially as Petri nets and later rewritten in Hardware Description …
A method based on Petri nets and a matrix model to implement reconfigurable logic controllers
CF Silva, C Quintáns, A Colmenar… - IEEE Transactions …, 2010 - ieeexplore.ieee.org
This paper presents a method to implement reconfigurable logic controllers (RLCs) using a
new matrix model to describe Petri nets (PNs). The method obtains the general equations …
new matrix model to describe Petri nets (PNs). The method obtains the general equations …