UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 115

Sortiert nach

Verification of Nonconflict of Supervisors Using Abstractions

IEEE transactions on automatic control, 2009-12, Vol.54 (12), p.2803-2815

2009

Link zum Volltext
IEEE_Xplore

Discrete-event systems subject to unknown sensor attacks

Discrete event dynamic systems, 2022-03, Vol.32 (1), p.143-158

2022

Link zum Volltext

Verfügbarkeit prüfen

A multi-objective approach for manufacturing systems with multiple production routes based on supervisory control theory and heuristic algorithms

Discrete event dynamic systems, 2023-12, Vol.33 (4), p.373-394

2023

Link zum Volltext

Verfügbarkeit prüfen

Automatic Translation of Blocking Flexible Job Shop Scheduling Problems to Automata Using the Supervisory Control Theory

Journal of control, automation & electrical systems, 2024-02, Vol.35 (1), p.12-23

2024

Link zum Volltext

Verfügbarkeit prüfen

Control of Flexible Manufacturing Systems under model uncertainty using Supervisory Control Theory and evolutionary computation schedule synthesis

Information sciences, 2016-02, Vol.329, p.491-502

2016

Link zum Volltext

Verfügbarkeit prüfen

SCO-Concat: a Solution to a Planning Problem in Flexible Manufacturing Systems using Supervisory Control Theory and Optimization Techniques

Journal of control, automation & electrical systems, 2018-08, Vol.29 (4), p.500-511

2018

Link zum Volltext

Verfügbarkeit prüfen

Distributed supervisory control for multiple robot autonomous navigation performing single-robot tasks

Mechatronics (Oxford), 2022-10, Vol.86, p.102848, Article 102848

2022

Link zum Volltext

Verfügbarkeit prüfen

Planning on Discrete Event Systems using parallelism maximization

Control engineering practice, 2021-07, Vol.112, p.104813, Article 104813

2021

Link zum Volltext

Verfügbarkeit prüfen

Abstraction of the Supervisory Control Solution to Deal With Planning Problems in Manufacturing Systems

IEEE transactions on automatic control, 2022-01, Vol.67 (1), p.344-350

2022

Link zum Volltext
IEEE_Xplore

Optimal Task Scheduling in a Flexible Manufacturing System using Model Checking

IFAC-PapersOnLine, 2018, Vol.51 (7), p.230-235

2018

Link zum Volltext

Verfügbarkeit prüfen

Factorization-Based Approach for Computing a Minimum Makespan Controllable Sublanguage

IFAC-PapersOnLine, 2018, Vol.51 (7), p.19-24

2018

Link zum Volltext

Verfügbarkeit prüfen

UltraDES Project - A Multiplatform Discrete Event Systems Tool

IFAC-PapersOnLine, 2023-01, Vol.56 (2), p.6081-6086

2023

Link zum Volltext

Verfügbarkeit prüfen

Supervisor abstraction to deal with planning problems in manufacturing systems

2016 13th International Workshop on Discrete Event Systems (WODES), 2016, p.117-122

2016

Link zum Volltext

Verfügbarkeit prüfen

A Security Testbed for Networked DES Control Systems

IFAC-PapersOnLine, 2022, Vol.55 (28), p.128-134

2022

Link zum Volltext

Verfügbarkeit prüfen

Secure Recovery Procedure for Manufacturing Systems Using Synchronizing Automata and Supervisory Control Theory

IEEE transactions on automation science and engineering, 2022-01, Vol.19 (1), p.486-496

2022

Link zum Volltext
IEEE_Xplore

Synchronism Recovery of Discrete Event Systems

IFAC-PapersOnLine, 2020, Vol.53 (2), p.10474-10479

2020

Link zum Volltext

Verfügbarkeit prüfen

Reconfiguration of Discrete Event Systems using Synchronizing Words

IFAC-PapersOnLine, 2020, Vol.53 (4), p.453-458

2020

Link zum Volltext

Verfügbarkeit prüfen

Reconfiguration of Discrete Event Systems using Synchronizing Words⁎⁎This work has been supported by the National Council for Scientific and Technological Development – CNPq under grant 443656/2018-5, CAPES, Brazil, under grant 001 and Fapemig

IFAC-PapersOnLine, 2020, Vol.53 (4), p.453-458

2020

Link zum Volltext

Verfügbarkeit prüfen

Automatic Translation of Blocking Flexible Job Shop Scheduling Problems to Automata Using the Supervisory Control Theory

IFAC-PapersOnLine, 2020, Vol.53 (4), p.89-94

2020

Link zum Volltext

Verfügbarkeit prüfen

Enforcing State-Based Opacity using Synchronizing Automata

2021 60th IEEE Conference on Decision and Control (CDC), 2021, p.7009-7014

2021

Link zum Volltext

Verfügbarkeit prüfen

UltraDES - A Library for Modeling, Analysis and Control of Discrete Event Systems This work was supported by Capes - Brazil, CNPq and FAPEMIG

IFAC-PapersOnLine, 2017-07, Vol.50 (1), p.5831-5836

2017

Link zum Volltext

Verfügbarkeit prüfen

Factorization-Based Approach for Computing a Minimum Makespan Controllable Sublanguage ⁎⁎This work has been supported by the Brazilian agency CAPES

IFAC-PapersOnLine, 2018, Vol.51 (7), p.19-24

2018

Link zum Volltext

Verfügbarkeit prüfen

New Results on Testing Modularity of Local Supervisors using Abstractions

2006 IEEE Conference on Emerging Technologies and Factory Automation, 2006, p.950-956

2006

Link zum Volltext
IEEE_Xplore

Clonal selection algorithms for task scheduling in a flexible manufacturing cell with supervisory control

2013 IEEE Congress on Evolutionary Computation, 2013, p.982-988

2013

Link zum Volltext
IEEE_Xplore

On the Reduction and Localization of Synchronizing Supervisors

2021 American Control Conference (ACC), 2021, p.4491-4496

2021

Link zum Volltext
IEEE_Xplore

1 – 25 von 115

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(84)
Mit Volltextzugriff
(110)

Publikationsform

Sprache

2 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Thema

15 weitere anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

Verification of Nonconflict of Supervisors Using Abstractions

Discrete-event systems subject to unknown sensor attacks

A multi-objective approach for manufacturing systems with multiple production routes based on supervisory control theory and heuristic algorithms

Automatic Translation of Blocking Flexible Job Shop Scheduling Problems to Automata Using the Supervisory Control Theory

Control of Flexible Manufacturing Systems under model uncertainty using Supervisory Control Theory and evolutionary computation schedule synthesis

SCO-Concat: a Solution to a Planning Problem in Flexible Manufacturing Systems using Supervisory Control Theory and Optimization Techniques

Distributed supervisory control for multiple robot autonomous navigation performing single-robot tasks

Planning on Discrete Event Systems using parallelism maximization

Abstraction of the Supervisory Control Solution to Deal With Planning Problems in Manufacturing Systems

Optimal Task Scheduling in a Flexible Manufacturing System using Model Checking

Factorization-Based Approach for Computing a Minimum Makespan Controllable Sublanguage

UltraDES Project - A Multiplatform Discrete Event Systems Tool

Supervisor abstraction to deal with planning problems in manufacturing systems

A Security Testbed for Networked DES Control Systems

Secure Recovery Procedure for Manufacturing Systems Using Synchronizing Automata and Supervisory Control Theory

Synchronism Recovery of Discrete Event Systems

Reconfiguration of Discrete Event Systems using Synchronizing Words

Reconfiguration of Discrete Event Systems using Synchronizing Words⁎⁎This work has been supported by the National Council for Scientific and Technological Development – CNPq under grant 443656/2018-5, CAPES, Brazil, under grant 001 and Fapemig

Automatic Translation of Blocking Flexible Job Shop Scheduling Problems to Automata Using the Supervisory Control Theory

Enforcing State-Based Opacity using Synchronizing Automata

UltraDES - A Library for Modeling, Analysis and Control of Discrete Event Systems This work was supported by Capes - Brazil, CNPq and FAPEMIG

Factorization-Based Approach for Computing a Minimum Makespan Controllable Sublanguage ⁎⁎This work has been supported by the Brazilian agency CAPES

New Results on Testing Modularity of Local Supervisors using Abstractions

Clonal selection algorithms for task scheduling in a flexible manufacturing cell with supervisory control

On the Reduction and Localization of Synchronizing Supervisors

Suchergebnisse filtern