Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
45 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

Verlag

Publikation

Sprache

45 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Automated Planning for Adaptive Cyber-Physical Systems Under Uncertainty in Temporal Availability Constraints
    Sanchez-Salas, Raquel ; Troya, Javier ; et al.
    In: 2024 IEEE/ACM 19th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2024-04-15, S. 14-24
    Konferenz
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Search Based Testing for Code Coverage and Falsification in Cyber-Physical Systems
    Thibeault, Quinn ; Khandait, Tanmay ; et al.
    In: 2023 IEEE 19th International Conference on Automation Science and Engineering (CASE), 2023-08-26, S. 1-8
    Konferenz
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Relaxed decidability and the robust semantics of Metric Temporal Logic
    Abbas, Houssam ; O'Kelly, Matthew ; et al.
    In: 97 ; Real-Time and Embedded Systems Lab (mLAB) ; Proceedings of the 20th ACM International Conference on Hybrid Systems: Computation and Control ; true ; published, 2017
    Online Konferenz
    Zugriff:
    Volltext
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    A Joint Optimization Method for the Cyber-Physical System Robustness based on Multi-Strategy Fusion
    Wu, Gongyu ; Li, Zhaojun
    In: 2022 Global Reliability and Prognostics and Health Management (PHM-Yantai), 2022-10-13, S. 1-5
    Konferenz
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Backstepping Sliding Mode Control for Cyber-Physical Systems under False Data Injection Attack
    Li, Dahua ; Li, Dapeng ; et al.
    In: 2022 IEEE International Conference on Mechatronics and Automation (ICMA), 2022-08-07, S. 357-362
    Konferenz
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Robustness Testing of Data and Knowledge Driven Anomaly Detection in Cyber-Physical Systems
    Zhou, Xugui ; Kouzel, Maxfield ; et al.
    In: 2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), 2022-06-01, S. 44-51
    Konferenz
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification.
    Menghi, Claudio ; Nejati, Shiva ; et al.
    In: ICSE: International Conference on Software Engineering, 2020-06-17, S. 372-384
    Online Konferenz
    Zugriff:
    Volltext (PDF)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Robust Supervisory Control for Cyber-Physical Systems based on Discrete Timed Petri nets
    Hsieh, Fu-Shiung
    In: 2022 IEEE 12th Annual Computing and Communication Workshop and Conference (CCWC), 2022-01-26, S. 1-6
    Konferenz
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Efficient Optimization-Based Falsification of Cyber-Physical Systems with Multiple Conjunctive Requirements
    Mathesen, Logan ; Pedrielli, Giulia ; et al.
    In: 2021 IEEE 17th International Conference on Automation Science and Engineering (CASE), 2021-08-23, S. 732-737
    Konferenz
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Robustness Analysis of Cyber-Physical systems based on Discrete Timed Cyber-Physical Models
    Hsieh, Fu-Shiung
    In: 2021 IEEE World AI IoT Congress (AIIoT), 2021-05-10, S. 250-254
    Konferenz
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Cyber Physical Systems, a New Challenge and Security Issue for the Aviation
    Alrefaei, Faisal ; Alzahrani, Abdullah ; et al.
    In: 2021 IEEE International IOT, Electronics and Mechatronics Conference (IEMTRONICS), 2021-04-21, S. 1-5
    Konferenz
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification
    Menghi, Claudio ; Nejati, Shiva ; et al.
    In: 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE), 2020-10-01, S. 372-384
    Online Konferenz
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    MPC for the Cyber-Physical System with Deception Attacks
    Liu, Yuezhi ; Chen, Yong ; et al.
    In: 2020 Chinese Control And Decision Conference (CCDC), 2020-08-01, S. 3847-3852
    Konferenz
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Deployment Architectures for Cyber-Physical Control Systems
    Tseng, Shih-Hao ; Anderson, James
    In: 2020 American Control Conference (ACC), 2020-07-01, S. 5287-5294
    Konferenz
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Modeling Methodology for Autonomous Cyber-Physical Systems
    Pinto, Alessandro
    In: 2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS), 2022-05-01, S. 1-2
    Konferenz
    Wie komme ich dran?
  16. Detailansicht für Treffer 16 öffnen
    Falsification of Cyber-Physical Systems with Reinforcement Learning
    Kato, Koki ; Ishikawa, Fuyuki ; et al.
    In: 2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS), 2018-04-01, S. 5-6
    Konferenz
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Time-Staging Enhancement of Hybrid System Falsification
    Zhang, Zhenya ; Ernst, Gidon ; et al.
    In: 2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS), 2018-04-01, S. 3-4
    Konferenz
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Applying Valued Booleans in Testing of Cyber-Physical Systems
    Claessen, Koen ; Smallbone, Nicholas ; et al.
    In: 2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS), 2018-04-01, S. 8-9
    Konferenz
    Wie komme ich dran?
  19. Detailansicht für Treffer 19 öffnen
    Stealthy deception attacks for cyber-physical systems
    Goes, Romulo Meira ; Kang, Eunsuk ; et al.
    In: 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 2017-12-01, S. 4224-4230
    Konferenz
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Hybrid stability analysis via extended small-gain theorem for networked cyber-physical systems with transmission delay
    Liu, Qishuai ; Hui, Qing
    In: 2017 13th IEEE Conference on Automation Science and Engineering (CASE), 2017-08-01, S. 1598-1603
    Konferenz
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -