يعرض 1 - 20 نتائج من 492 نتيجة بحث عن '"Partial Observation"', وقت الاستعلام: 0.65s تنقيح النتائج
  1. 1
    Academic Journal
  2. 2
    Conference

    المؤلفون: Cui B., Ma Z., Giua A., Yin X.

    المساهمون: Cui, B., Ma, Z., Giua, A., Yin, X.

    مصطلحات موضوعية: Discrete Event System, Diagnosi, Security, Partial Observation

    Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:001278103000030; ispartofbook:Proceedings of WODES 2024; WODES24: 17th Int. Work. on Discrete Event Systems; volume:58; issue:1; firstpage:174; lastpage:179; numberofpages:6; serie:IFAC-PAPERSONLINE; https://hdl.handle.net/11584/419645

  3. 3
    Conference

    المساهمون: Modeling and Verification of Distributed Algorithms and Systems (VERIDIS), Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Université de Lorraine (UL), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), École normale supérieure de Lyon (ENS de Lyon), Université de Lyon, ANR-22-CE48-0012,BisoUS,Better Synthesis for Underspecified Quantitative Systems(2022)

    المصدر: QEST-FORMATS 2024 ; https://inria.hal.science/hal-04617663 ; QEST-FORMATS 2024, Sep 2024, Calgary, Alberta, Canada, Canada

    جغرافية الموضوع: Calgary, Alberta

  4. 4
    Academic Journal
  5. 5
    Academic Journal
  6. 6
    Academic Journal

    المساهمون: Laboratoire Exigences et Conformité des Systèmes (LECS), Département Ingénierie Logiciels et Systèmes (DILS (CEA, LIST)), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Mathématiques et Informatique pour la Complexité et les Systèmes (MICS), CentraleSupélec-Université Paris-Saclay

    المصدر: ISSN: 1660-1769 ; The Journal of Object Technology.

  7. 7
    Academic Journal
  8. 8
    Academic Journal
  9. 9
    Conference

    المساهمون: Department of Computer Science Lyon (CPE), École Supérieure de Chimie Physique Électronique de Lyon (CPE)-Université de Lyon, CITI Centre of Innovation in Telecommunications and Integration of services (CITI), Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria), Robots coopératifs et adaptés à la présence humaine en environnements (CHROMA), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-CITI Centre of Innovation in Telecommunications and Integration of services (CITI), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Inria Lyon, Institut National de Recherche en Informatique et en Automatique (Inria), Université de Lyon-Institut National des Sciences Appliquées (INSA)

    المصدر: RoboCup 2023 - 26e symposium international RoboCup ; https://hal.science/hal-04408763 ; RoboCup 2023 - 26e symposium international RoboCup, Jul 2023, Bordeaux, France

    جغرافية الموضوع: Bordeaux, France

  10. 10
    Academic Journal
  11. 11
    Academic Journal
  12. 12
    Report

    المساهمون: Laboratoire de Probabilités, Statistique et Modélisation (LPSM (UMR_8001)), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), ANR-21-CE40-0001,ReLISCoP,Apprentissage par renforcement pour des problèmes de contrôle stochastique impulsionnel(2021)

    المصدر: https://hal.science/hal-04013908 ; 2023.

    Relation: info:eu-repo/semantics/altIdentifier/arxiv/2303.05563; ARXIV: 2303.05563

  13. 13
    Academic Journal
  14. 14
    Academic Journal
  15. 15
    Academic Journal

    المؤلفون: Federico S., Ferrari G., Rodosthenous N.

    المساهمون: Federico S., Ferrari G., Rodosthenous N.

    وصف الملف: STAMPA

    Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:001107595600014; volume:61; issue:5; firstpage:3076; lastpage:3101; numberofpages:26; journal:SIAM JOURNAL ON CONTROL AND OPTIMIZATION; https://hdl.handle.net/11585/952506; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85176322479

  16. 16
    Academic Journal
  17. 17
    Academic Journal
  18. 18
    Book
  19. 19
    Conference

    المؤلفون: Cui B., Yin X., Li S., Giua A.

    المساهمون: Cui, B., Yin, X., Li, S., Giua, A.

    مصطلحات موضوعية: Opacity, Discrete Event Systems, Partial Observation

    Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000877003700020; ispartofbook:Proceedings of WODES 2022; WODES22: 16th Int. Work. on Discrete Event Systems; volume:55; issue:28; firstpage:135; lastpage:141; numberofpages:7; serie:IFAC-PAPERSONLINE; https://hdl.handle.net/11584/376243; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85144364577

  20. 20
    Report