Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "cyber-physical systems" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-2 z 2
    Tytuł:
    The role of knowledge in cyber-physical systems of systems
    Autorzy:
    Sanz, Ricardo
    Bermejo, Julita
    Rodrigez, Manuel
    Aguado, Esther
    Powiązania:
    https://bibliotekanauki.pl/articles/1954570.pdf
    Data publikacji:
    2021
    Wydawca:
    Politechnika Gdańska
    Tematy:
    cyber-physical systems
    systems-of-systems
    knowledge
    integration
    engineering
    autonomy
    cyber-fizyczne systemy
    systemy-systemy
    wiedza
    integracja
    inżynieria
    autonomia
    Opis:
    Characterinsing the nature of cybephysical systems is not easy task. What are core aspects and what are not? This is especially tricky in systems-of-systems aggregates. Some EU-funded cyberphysical systems projects have performed a roadmapping exercise over the domain of Cyber-Physical Systems-of-Systems. In particlular, the EU-CPSoS project roadmap has identified three major challenges and eleven research and innovation policies that shall be addressed to solve the three challenges. The third core challenge addresses Cognitive Cyber-physical Systems of Systems. In this article we address the role that knowledge and cognition are to play in future cyber-physical systems of systems from a life-cycle perspective of high autonomy systems.
    Źródło:
    TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk; 2021, 25, 3; 355-373
    1428-6394
    Pojawia się w:
    TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A development methodology for cyber-physical systems based on deterministic theatre with hybrid actors
    Autorzy:
    Cicirello, Franco
    Nigro, Libero
    Powiązania:
    https://bibliotekanauki.pl/articles/1954580.pdf
    Data publikacji:
    2021
    Wydawca:
    Politechnika Gdańska
    Tematy:
    cyber-physical systems
    model-driven development
    timing models reconciliation
    hybrid actors
    model continuity
    determinism
    theatre actor system
    Uppaal
    Java
    systemy cyber-fizyczne
    rozwój sterowany
    model czasowy
    aktorzy hybrydowi
    ciągłość modelu
    determinizm
    Opis:
    The goal of the work described in this paper is to propose a development approach for cyber-physical systems (CPS) which relies on actors as the fundamental modelling blocks. The approach is characterized by its capability to deal with the discrete aspects of the cyber part of a CPS, as well as the continuous behaviour of the physical part. More in particular, the approach is based on the Theatre actor system which fosters determinism in model behaviour, and favours model continuity when switching from system modelling and analysis down to prototype and synthesis phases. A key factor of Theatre is the possibility to combine both discrete-event actors, which operate on a discrete timeline, with continuous-time actors which reproduce, in general by using Ordinary Differential Equations (ODEs), the dynamical evolution of physical components. For formal property assessment, Theatre actors (both discrete and continuous) can be reduced to Timed Automata (TA) in the context of the Uppaal toolbox, where the exhaustive andór the statistical model checkers can be exploited. This paper first describes the proposed approach, then it demonstrates its suitability to CPS modelling and analysis through examples. The paper also discusses how abstract and formal modelling actor concepts can be naturally transitioned to implementation concepts in Java.
    Źródło:
    TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk; 2021, 25, 2; 233-260
    1428-6394
    Pojawia się w:
    TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-2 z 2

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies