Supervision of open systems using a situation-operator-modeling approach and higher Petri net formalisms

被引：0

作者：

Gamrad, Dennis ^{[1
]}

Oberheid, Hendrik ^{[2
]}

Soeffker, Dirk ^{[1
]}

机构：

[1] Univ Duisburg, Chair Dynam & Control, Essen, Germany

[2] German Aerosp Res Ctr DLR, Inst Flight Guidance, Cologne, Germany

来源：

2007 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-8 | 2007年

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

The paper presents a concept for the automated supervision of human interactions in environments with complex system dynamics. The supervision concept is formulated using a special system-theoretic Situation-Operator-Modeling (SOM) approach which in the context of this work is practically implemented and simulated using Higher Petri Net (HPN) formalisms and tools. In order to reflect the complex system nature suitable HPN patterns are developed which make use of active tokens with autonomous, continuous-time dynamics. The approach is demonstrated on the supervision of a lane change maneuver in highway driving with special focus on the checking of driver actions with respect to goal-conformance.

引用

页码：2422 / +

页数：2

共 50 条

[11] RELIABILITY AND AVAILABILITY ANALYSIS OF MECHANICAL SYSTEMS USING STOCHASTIC PETRI NET MODELING BASED ON DECOMPOSITION APPROACH
Kumar, Girish
Jain, Vipul
Gandhi, O. P.
INTERNATIONAL JOURNAL OF RELIABILITY QUALITY AND SAFETY ENGINEERING, 2012, 19 (01)
[12] Fuzzy continuous Petri net-based approach for modeling immune systems
Park, Inho
Na, Dokyun
Lee, Doheon
Lee, Kwang H.
NEURAL NETS, 2006, 3931 : 278 - 285
[13] Measuring the Learnability of Interactive Systems Using a Petri Net Based Approach
Marrella, Andrea
Catarci, Tiziana
DIS 2018: PROCEEDINGS OF THE 2018 DESIGNING INTERACTIVE SYSTEMS CONFERENCE, 2018, : 1309 - 1319
[14] Modeling and Analysis of Enterprise Cloud Bus Using a Petri Net Based Approach
Khan, Gitosree
Sengupta, Sabnam
Sarkar, Anirban
ADVANCED COMPUTING AND SYSTEMS FOR SECURITY, VOL 4, 2017, 568 : 17 - 36
[15] Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers
Lorenz, Robert
APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY, 2015, 9115 : 49 - 76
[16] PeNTa: Formal Modeling for Multi-touch Systems Using Petri Net
Ortega, Francisco R.
Liu, Su
Hernandez, Frank
Barreto, Armando
Rishe, Naphtali
Adjouadi, Malek
HUMAN-COMPUTER INTERACTION: THEORIES, METHODS, AND TOOLS, PT I, 2014, 8510 : 361 - 372
[17] An incremental Petri net-based approach to the Modeling of production sequences in manufacturing systems
Castelnuovo, Adamo
Ferrarini, Luca
Piroddi, Luigi
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2007, 4 (03) : 424 - 434
[18] STP-based approach to modeling and reachability analysis of a class of petri net systems
Han X.-G.
Chen Z.-Q.
Zhang K.-Z.
Liu Z.-X.
Zhang Q.
1600, Beijing University of Posts and Telecommunications (39): : 72 - 76
[19] Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A Petri net approach
Zhou, MC
Jeng, MD
IEEE TRANSACTIONS ON SEMICONDUCTOR MANUFACTURING, 1998, 11 (03) : 333 - 357
[20] VANESA: An open-source hybrid functional Petri net modeling and simulation environment in systems biology
Brinkrolf, Christoph
Ochel, Lennart
Hofestaedt, Ralf
BIOSYSTEMS, 2021, 210

← 1 2 3 4 5 →