Verification of the Boundedness Property in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems (12. : 2021 : Costa da Caparica) Technological innovation for applied AI systems
1. Verfasser: Wojnakowski, Marcin (VerfasserIn)
Weitere Verfasser: Wisniewski, Remigiusz (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2021
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Predictive Manufacturing: Enabling Technologies, Frameworks and Applications 2021 Pulikottil, Terrin
A Framework for Self-configuration in Manufacturing Production Systems 2021 Rehman, Hamood Ur
Verification of the Boundedness Property in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems 2021 Wojnakowski, Marcin
Digital Twin for Supply Chain Master Planning in Zero-Defect Manufacturing 2021 Serrano, Julio C.
A Conceptual Framework of Human-System Interaction Under Uncertainty-Based on Shadow System Perspective 2021 Liang, Qingyu
Towards a Hybrid Model for the Diffusion of Innovation in Energy Communities 2021 Adu-Kankam, Kankam O.
Multi-agent System Architecture for Distributed Home Health Care Information Systems 2021 Alves, Filipe
Characteristics of Adaptable Control of Production Systems and the Role of Self-organization Towards Smart Manufacturing 2021 Estrada-Jimenez, Luis Alberto
Matheuristic Algorithms for Production Planning in Manufacturing Enterprises 2021 Guzman, Eduardo
Assessment of Sentinel-2 Spectral Features to Estimate Forest Height with the New GEDI Data 2021 Pereira-Pires, João E.
A New Challenge for Machine Ethics Regarding Decision-Making in Manufacturing Systems 2021 Kondori, Esmaeil
Power Transformer Design Resorting to Metaheuristics Techniques 2021 Alves, Pedro
Interference Power Characterization in Directional Networks and Full-Duplex Systems 2021 Abusabah, Ayman T.
FEM-Parameterized Sensorless Vector Control of PMSM Using High-Frequency Voltage Injection 2021 Szabó, Gergely
Automatic Cognitive Workload Classification Using Biosignals for Distance Learning Applications 2021 Varandas, Rui
AI-Based Classification Algorithm of Infrared Images of Patients with Spinal Disorders 2021 Poplavska, Anna
AI and Simulation for Performance Assessment in Collaborative Business Ecosystems 2021 Graca, Paula
Control of Manufacturing Systems by HMS/EPS Paradigms Orchestrating 14.0 Components Based on Capabilities 2021 Veiga, Jackson T.
Collaborative Cyber-Physical Systems Design Approach: Smart Home Use 2021 Nazarenko, Artem A.
Detection of Signaling Vulnerabilities in Session Initiation Protocol 2021 Pereira, Diogo
Alle Artikel auflisten