Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Cyber-physical Interactions"'
Editorial: Exploring cyber-physical interactions in energy and power systems: theory and application
Autor:
Libao Shi
Publikováno v:
Frontiers in Energy Research, Vol 11 (2023)
Externí odkaz:
https://doaj.org/article/b33a8a3627ce4cb7baed54abcf3ec354
Autor:
Xavier Etchevers, Loic Letondeur, Umar Ozeer, Gwen Salaün, Jean-Marc Vincent, François-Gaël Ottogalli
Publikováno v:
EAI International Conference on Mobile and Ubiquitous Systems: Networking and Services (MobiQuitous '18)
EAI International Conference on Mobile and Ubiquitous Systems: Networking and Services (MobiQuitous '18), Nov 2018, New York, United States. pp.1-10, ⟨10.1145/3286978.3287007⟩
MobiQuitous
EAI International Conference on Mobile and Ubiquitous Systems: Networking and Services (MobiQuitous '18), Nov 2018, New York, United States. pp.1-10, ⟨10.1145/3286978.3287007⟩
MobiQuitous
International audience; Fog computing provides computing, storage and communication resources at the edge of the network, near the physical world. Subsequently , end devices nearing the physical world can have interesting properties such as short del
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5b2724c7c9ce5aa043981abfb5f5e620
https://hal.archives-ouvertes.fr/hal-01927286
https://hal.archives-ouvertes.fr/hal-01927286
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems ISBN: 9783030034238
ISoLA (3)
Proceedings ISOLA 2018: 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
ISOLA 2018: 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
ISOLA 2018: 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Nov 2018, Limassol, Cyprus. pp.407-410, ⟨10.1007/978-3-030-03424-5_27⟩
Gibson, P, Larsen, P G, Pantel, M, Fitzgerald, J & Woodcock, J 2018, Cyber-Physical Systems Engineering: An Introduction . in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems : 8th International Symposium, ISoLA 2018, Proceedings, Part III . vol. III, Springer, Lecture Notes in Computer Science, vol. 11246, Theoretical Computer Science and General Issues, vol. 11246, pp. 407-411, ISoLA: International Symposium on Leveraging Applications of Formal Methods 2018, Limassol, Cyprus, 05/11/2018 . https://doi.org/10.1007/978-3-030-03424-5_27
ISoLA (3)
Proceedings ISOLA 2018: 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
ISOLA 2018: 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
ISOLA 2018: 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Nov 2018, Limassol, Cyprus. pp.407-410, ⟨10.1007/978-3-030-03424-5_27⟩
Gibson, P, Larsen, P G, Pantel, M, Fitzgerald, J & Woodcock, J 2018, Cyber-Physical Systems Engineering: An Introduction . in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems : 8th International Symposium, ISoLA 2018, Proceedings, Part III . vol. III, Springer, Lecture Notes in Computer Science, vol. 11246, Theoretical Computer Science and General Issues, vol. 11246, pp. 407-411, ISoLA: International Symposium on Leveraging Applications of Formal Methods 2018, Limassol, Cyprus, 05/11/2018 . https://doi.org/10.1007/978-3-030-03424-5_27
International audience; Cyber-Physical Systems (CPSs) [1] connect the real world to software systems through a network of sensors and actuators in which physical and logical components interact in complex ways. There is a diverse range of application
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4f8480c146b0d9c16ef4925d462eb125
https://doi.org/10.1007/978-3-030-03424-5_27
https://doi.org/10.1007/978-3-030-03424-5_27
Publikováno v:
The Computer Journal
The Computer Journal, Oxford University Press (UK), 2015, 58 (6), pp.1225-1226. ⟨10.1093/comjnl/bxu123⟩
The Computer Journal, Oxford University Press (UK), 2015, 58 (6), pp.1225-1226. ⟨10.1093/comjnl/bxu123⟩
International audience; Nowadays, green energy management is a fundamental perspective for supporting cyber-physical interactions and managing energy resources, and smart grid is emerging as the next generation energy management paradigm. Toward the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e34b72cf81a31afa60aea2879fbfaf32
https://hal.archives-ouvertes.fr/hal-01263168
https://hal.archives-ouvertes.fr/hal-01263168
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.