UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 50

Sortiert nach

Supervisory Control of Networked Discrete Event Systems With Timing Structure

IEEE transactions on automatic control, 2021-05, Vol.66 (5), p.2206-2218

2021

Volltextzugriff (PDF)

Supervisory Control-Based Navigation Architecture: A New Framework for Autonomous Robots in Industry 4.0 Environments

IEEE transactions on industrial informatics, 2018-04, Vol.14 (4), p.1732-1743

2018

Volltextzugriff (PDF)

Robust diagnosis of discrete event systems against intermittent loss of observations

Automatica (Oxford), 2012-09, Vol.48 (9), p.2068-2078

2012

Volltextzugriff (PDF)

Robust diagnosis of discrete-event systems against permanent loss of observations

Automatica (Oxford), 2013-01, Vol.49 (1), p.223-231

2013

Volltextzugriff (PDF)

Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation

Discrete event dynamic systems, 2018-06, Vol.28 (2), p.215-246

2018

Volltextzugriff (PDF)

Diagnosability verification using LTL model checking

Discrete event dynamic systems, 2022, Vol.32 (3), p.399-433

2022

Volltextzugriff (PDF)

Celebrating 45 Years of the Brazilian Society of Automatics

Journal of control, automation & electrical systems, 2022-02, Vol.33 (1), p.2-7

2022

Volltextzugriff (PDF)

Ensuring confidentiality of cyber-physical systems using event-based cryptography

Information sciences, 2023-04, Vol.621, p.119-135

2023

Volltextzugriff (PDF)

Diagnosability of intermittent sensor faults in discrete event systems

Automatica (Oxford), 2017-05, Vol.79, p.315-325

2017

Volltextzugriff (PDF)

Robust Disjunctive-Codiagnosability of Discrete-Event Systems Against Permanent Loss of Observations

IEEE transactions on automatic control, 2017-11, Vol.62 (11), p.5808-5815

2017

Volltextzugriff (PDF)

Public bicycle sharing systems control and performance evaluation: A Petri net-based approach

Information sciences, 2023-06, Vol.632, p.19-50

2023

Volltextzugriff (PDF)

New Algorithms for Verification of Relative Observability and Computation of Supremal Relatively Observable Sublanguage

IEEE transactions on automatic control, 2017-11, Vol.62 (11), p.5902-5908

2017

Volltextzugriff (PDF)

Robust decentralized diagnosability of networked discrete event systems against DoS and deception attacks

Nonlinear analysis. Hybrid systems, 2022-05, Vol.44, p.101162, Article 101162

2022

Volltextzugriff (PDF)

Online fault diagnosis for smart machines embedded in Industry 4.0 manufacturing systems: A labeled Petri net-based approach

IFAC Journal of Systems and Control, 2021-06, Vol.16, p.100146, Article 100146

2021

Volltextzugriff (PDF)

New algorithms for verification of relative observability and computation of supremal relatively observable sublanguage

2016 IEEE Conference on Control Applications (CCA), 2016, p.526-531

2016

Volltextzugriff (PDF)

Enforcing current-state opacity of Cyber-Physical Systems with multiple channels using event replacements

IFAC-PapersOnLine, 2024, Vol.58 (1), p.7-12

2024

Volltextzugriff (PDF)

Detectable and Undetectable Network Attack Security of Cyber-physical Systems

IFAC-PapersOnLine, 2018, Vol.51 (7), p.179-185

2018

Volltextzugriff (PDF)

A novel approach for fault diagnosis using partial observations of actions and atomic propositions

IFAC-PapersOnLine, 2024, Vol.58 (1), p.156-161

2024

Volltextzugriff (PDF)

Security Against Network Attacks in Supervisory Control Systems

IFAC-PapersOnLine, 2017, Vol.50 (1), p.12333-12338

2017

Volltextzugriff (PDF)

Robust codiagnosability of discrete-event systems against permanent loss of observations

2015 IEEE International Conference on Automation Science and Engineering (CASE), 2015, p.813-818

2015

Volltextzugriff (PDF)

Synthesis of an Obfuscation Policy that Guarantees Utility Satisfying a New Privacy Criterion

IFAC-PapersOnLine, 2023, Vol.56 (2), p.11344-11349

2023

Volltextzugriff (PDF)

CONFIDENTIALITY OF CYBER-PHYSICAL SYSTEMS USING EVENT-BASED CRYPTOGRAPHY

IFAC-PapersOnLine, 2020, Vol.53 (2), p.1735-1740

2020

Volltextzugriff (PDF)

Event-based cryptography for automation networks of cyber-physical systems using the stream cipher ChaCha20

IFAC-PapersOnLine, 2022, Vol.55 (28), p.58-65

2022

Volltextzugriff (PDF)

Is LTL model-checking effective for Diagnosability Verification?⁎⁎This work is financed in part by CNPq, CAPES and FAPERJ

IFAC-PapersOnLine, 2020, Vol.53 (4), p.256-262

2020

Volltextzugriff (PDF)

Is LTL model-checking effective for Diagnosability Verification?

IFAC-PapersOnLine, 2020, Vol.53 (4), p.256-262

2020

Volltextzugriff (PDF)

1 – 25 von 50

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(31)
Mit Volltextzugriff
(47)

Publikationsform

Sprache

Erscheinungsjahr

n.n

Thema

Science & Technology
(40)
Technology
(23)
Automation & Control Systems
(21)
Life Sciences & Biomedicine
(15)
Automata
(14)
Humans
(12)
Discrete-Event Systems
(10)
Engineering
(10)
Discrete Event Systems
(9)
Fault Diagnosis
(9)
Engineering, Electrical & Electronic
(8)
Animals
(7)
Cyber-Physical Systems
(7)
Male
(7)
Supervisory Control
(6)
Diagnosis
(5)
Female
(5)
Adult
(4)
Automaton
(4)
Control
(4)

15 weitere anzeigen...

Weniger anzeigen...

Zeitschrift / Serie

5 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 90 Tagen
(2)

Menü

Weitere Dienste

Einstellungen

Supervisory Control of Networked Discrete Event Systems With Timing Structure

Supervisory Control-Based Navigation Architecture: A New Framework for Autonomous Robots in Industry 4.0 Environments

Robust diagnosis of discrete event systems against intermittent loss of observations

Robust diagnosis of discrete-event systems against permanent loss of observations

Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation

Diagnosability verification using LTL model checking

Celebrating 45 Years of the Brazilian Society of Automatics

Ensuring confidentiality of cyber-physical systems using event-based cryptography

Diagnosability of intermittent sensor faults in discrete event systems

Robust Disjunctive-Codiagnosability of Discrete-Event Systems Against Permanent Loss of Observations

Public bicycle sharing systems control and performance evaluation: A Petri net-based approach

New Algorithms for Verification of Relative Observability and Computation of Supremal Relatively Observable Sublanguage

Robust decentralized diagnosability of networked discrete event systems against DoS and deception attacks

Online fault diagnosis for smart machines embedded in Industry 4.0 manufacturing systems: A labeled Petri net-based approach

New algorithms for verification of relative observability and computation of supremal relatively observable sublanguage

Enforcing current-state opacity of Cyber-Physical Systems with multiple channels using event replacements

Detectable and Undetectable Network Attack Security of Cyber-physical Systems

A novel approach for fault diagnosis using partial observations of actions and atomic propositions

Security Against Network Attacks in Supervisory Control Systems

Robust codiagnosability of discrete-event systems against permanent loss of observations

Synthesis of an Obfuscation Policy that Guarantees Utility Satisfying a New Privacy Criterion

CONFIDENTIALITY OF CYBER-PHYSICAL SYSTEMS USING EVENT-BASED CRYPTOGRAPHY

Event-based cryptography for automation networks of cyber-physical systems using the stream cipher ChaCha20

Is LTL model-checking effective for Diagnosability Verification?⁎⁎This work is financed in part by CNPq, CAPES and FAPERJ

Is LTL model-checking effective for Diagnosability Verification?

Suchergebnisse filtern