[图书][B] Enciclopédia de automática, v. 3: controle e automação

LA Aguirre - 2007 - books.google.com
Controle e automação é uma das raras áreas do conhecimento que, simultaneamente,
apresenta grandes desafios tanto teóricos, quanto práticos. Nas últimas décadas, essa área …

[图书][B] Modelling and analysis of hybrid supervisory systems: a Petri net approach

E Villani, PE Miyagi, R Valette - 2007 - books.google.com
Hybrid supervisory systems integrate and exchange information between discrete-and
continuous-data-based controllers and subsystems. Application areas include process …

Modeling and analysis using hybrid Petri nets

L Ghomri, H Alla - Nonlinear Analysis: Hybrid Systems, 2007 - Elsevier
This paper is devoted to the use of hybrid Petri nets (PNs) for modeling and control of hybrid
dynamic systems (HDS). Modeling, analysis and control of HDS attract ever more of …

[HTML][HTML] Utilisation des réseaux de Petri à intervalles pour la régulation d'une qualité: application à une manufacture de tabac

H Dhouibi - 2005 - hal.science
La première partie de ce travail est consacrée à l'introduction d'un nouvel outil de
modélisation-les Réseaux de Petri à Intervalles-pour répondre à un besoin de spécification …

Contribution au prototypage virtuel de systèmes mécatroniques basé sur une architecture distribuée HLA. Expérimentation sous les environnements OpenModelica …

HH Amor - 2008 - theses.hal.science
La mécatronique est l'intégration de différentes sciences et techniques de la mécanique, de
l'automatique, de l'électronique et de l'informatique. L'évolution rapide des marchés …

Modeling hybrid systems by means of high-level Petri nets: Benefits and limitations

R Champagnat, P Esteban, H Pingaud… - IFAC Proceedings …, 1997 - Elsevier
This paper deals with the modeling of hybrid processes. It requires to model the continuous
part as well as the discrete one. In a first time, various high-level Petri net models are …

[PDF][PDF] Définition d'une méthodologie de conception des systèmes mécatroniques sûrs de fonctionnement

R Schoenig - 2004 - theses.hal.science
La révolution technologique que connaît le secteur automobile avec la multiplication des
systèmes électroniques et informatiques embarqués n'est pas près de s' essouffler. Il est …

Réseaux de Petri P-temporels: Modélisation et validation d'exigences temporelles

S Collart-Dutilleul - 2008 - theses.hal.science
Le corps de ce travail concerne la modélisation des systèmes à événements discrets. Il s'
intéresse par ailleurs en quasi exclusivité à la gestion des contraintes de temps de séjour …

[PDF][PDF] Oxide charges densities determination using charge-pumping technique with BTS in MOS structures

H Bentarzi, A Zitouni, Y Kribes - WSEAS Trans. Electron, 2008 - academia.edu
A New electrical method, using charge-pumping (CP) technique under bias thermal stress
(BTS), has been described in this paper. This technique is based on the charge-pumping …

[HTML][HTML] Surveillance et diagnostic des phases transitoires des systèmes hybrides basés sur l'abstraction des dynamiques continues par réseau de Petri temporel flou

ER Loures - 2006 - laas.hal.science
Les systèmes de surveillance et de supervision jouent un rôle majeur pour la sécurité des
installations industrielles et la disponibilité des équipements. Signaler le plus tôt possible à …