Works matching DE "CYBER physical systems"

Results: 3095

Issue Information.

Published in:: Insight (2156-485X), 2025, v. 28, n. 2, p. 3, doi. 10.1002/inst.12532
Publication type:: Article

Context-aware composition of agent policies by Markov decision process entity embeddings and agent ensembles.

Published in:

Semantic Web (1570-0844), 2024, v. 15, n. 4, p. 1443, doi. 10.3233/SW-233531

By:

Merkle, Nicole;
Mikut, Ralf

Publication type:

Article

Semantics for Cyber-Physical Systems: A cross-domain perspective.

Published in:

Semantic Web (1570-0844), 2020, v. 11, n. 1, p. 115, doi. 10.3233/SW-190381

By:

Hitzler, Pascal;
Janowicz, Krzysztof;
Sabou, Marta;
Biffl, Stefan;
Einfalt, Alfred;
Krammer, Lukas;
Kastner, Wolfgang;
Ekaputra, Fajar J.

Publication type:

Article

METALMECHANIC INDUSTRY CONNECTED TO THE INTERNET OF THINGS FOR GREATER EFFICIENCY IN THE MANAGEMENT OF COLLABORATIVE ROBOTS.

Published in:

Environmental & Social Management Journal / Revista de Gestão Social e Ambiental, 2025, v. 19, n. 6, p. 1, doi. 10.24857/rgsa.v19n6-018

By:

Christian da Silva, Jonathan;
Leite Tomé, Laire;
Alves Santos, David Felive;
Lourenço Costa, Jean Carlos;
Regina de Oliveira, Márcia;
Antônio de Moura, Roque

Publication type:

Article

Las habilidades blandas y su importancia en el desarrollo emocional en niños de cinco años.

Published in:

Sinergia Académica, 2025, v. 8, n. 3, p. 648

By:

Morán Padilla, Nancy Marianela;
Figueroa Muñiz, Lisbet Katherine;
Caicedo Plua, Francisco Javier;
Delgado Parrales, Valeria Vanessa

Publication type:

Article

Toward Intrusion Detection of Industrial Cyber-Physical System: A Hybrid Approach Based on System State and Network Traffic Abnormality Monitoring.

Published in:

Computers, Materials & Continua, 2025, v. 84, n. 1, p. 1227, doi. 10.32604/cmc.2025.064402

By:

He, Junbin;
Zhang, Wuxia;
Liu, Xianyi;
Liu, Jinping;
Yang, Guangyi

Publication type:

Article

Методи машинного навчання в задачах прогнозу факторів, що вказують на потенційне партиціювання кластеру.

Published in:

Èlektronnoe Modelirovanie, 2025, v. 47, n. 1, p. 22, doi. 10.15407/emodel.47.01.022

By:

Сінько, Д. П.;
Сінько, К. Д.

Publication type:

Article

Reinforcing Deep Learning-Enabled Surveillance with Smart Sensors.

Published in:

Sensors (14248220), 2025, v. 25, n. 11, p. 3345, doi. 10.3390/s25113345

By:

Lee, Taewoo;
Choi, Yumin;
Kim, Hyunbum

Publication type:

Article

Editors' Introduction.

Published in:

Engineering Management Journal, 2025, v. 37, n. 3, p. 223, doi. 10.1080/10429247.2025.2511456

By:

Smith, Brian;
Cross, Jennifer;
Philbin, Simon

Publication type:

Article

Critical Node Identification for Cyber–Physical Power Distribution Systems Based on Complex Network Theory: A Real Case Study.

Published in:

Energies (19961073), 2025, v. 18, n. 11, p. 2937, doi. 10.3390/en18112937

By:

Doostinia, Mehdi;
Falabretti, Davide;
Verticale, Giacomo;
Bolouki, Sadegh

Publication type:

Article

Adaptive Fractional-Order Consensus Control of Cyber-Physical Power Systems in the Presence of Unbounded Perturbations.

Published in:

International Journal of Industrial Electronics Control & Optimization, 2025, v. 8, n. 2, p. 105

By:

Nazifi, Mahmood;
Pourgholi, Mahdi

Publication type:

Article

Antonio Vallecillo.

Published in:

Software & Systems Modeling, 2025, v. 24, n. 3, p. 593, doi. 10.1007/s10270-025-01290-5

By:

Challita, Stéphanie;
Chechik, Marsha;
Combemale, Benoit;
Ergin, Huseyin;
Gray, Jeff;
Rumpe, Bernhard;
Schindler, Martin

Publication type:

Article

Defining and generating multi-level and uncertainty-wise test oracles for cyber-physical systems.

Published in:

Software & Systems Modeling, 2025, v. 24, n. 3, p. 679, doi. 10.1007/s10270-025-01271-8

By:

Valle, Pablo;
Arrieta, Aitor;
Han, Liping;
Ali, Shaukat;
Yue, Tao

Publication type:

Article

A Microgrid Simulation Platform Based on Cyber-Physical Technology.

Published in:

Processes, 2025, v. 13, n. 5, p. 1441, doi. 10.3390/pr13051441

By:

Jia, Dongli;
Yang, Xiaoyu;
Sheng, Wanxing;
Liu, Keyan;
Yang, Kaitong;
Li, Xiaoming;
Dong, Weijie

Publication type:

Article

Advanced Research in Shipping Informatics and Communications.

Published in:

Journal of Marine Science & Engineering, 2025, v. 13, n. 5, p. 951, doi. 10.3390/jmse13050951

By:

Nikitakos, Nikitas;
Progoulakis, Iosif

Publication type:

Article

Model-driven latency analysis of distributed skills in automation networks with robots in the AI.Factory.

Published in:

Automatisierungstechnik, 2025, v. 73, n. 5, p. 301, doi. 10.1515/auto-2024-0175

By:

Hujo-Lauer, Dominik;
Vogel-Heuser, Birgit;
Wagner, Cedric;
Zhao, Jingyun;
Höfgen, Josua

Publication type:

Article

Compositional Scheduling in Industry 4.0 Cyber-Physical Systems.

Published in:

Axioms (2075-1680), 2025, v. 14, n. 5, p. 332, doi. 10.3390/axioms14050332

By:

Tohmé, Fernando;
Rossit, Daniel

Publication type:

Article

Applying an Improved Squirrel Search Algorithm (ISSA) for Clustering and Low-Energy Routing in Wireless Sensor Networks (WSNs).

Published in:

Mobile Networks & Applications, 2024, v. 29, n. 6, p. 1753, doi. 10.1007/s11036-023-02219-2

By:

Qaffas, Alaa A.

Publication type:

Article

Integrating Deep Learning Into Mechanical Engineering: A Systematic Review of Applications and Educational Implications.

Published in:

Computer Applications in Engineering Education, 2025, v. 33, n. 3, p. 1, doi. 10.1002/cae.70048

By:

Kollu, Geethika S.;
Kittur, Javeed

Publication type:

Article

Securing Blockchain Systems: A Layer-Oriented Survey of Threats, Vulnerability Taxonomy, and Detection Methods.

Published in:

Future Internet, 2025, v. 17, n. 5, p. 205, doi. 10.3390/fi17050205

By:

Islam, Mohammad Jaminur;
Islam, Saminur;
Hossain, Mahmud;
Noor, Shahid;
Islam, S. M. Riazul

Publication type:

Article

Trustworthiness of Deep Learning Under Adversarial Attacks in Power Systems.

Published in:

Energies (19961073), 2025, v. 18, n. 10, p. 2611, doi. 10.3390/en18102611

By:

Nicolas, Dowens;
Orozco, Kevin;
Mathew, Steve;
Wang, Yi;
Elmannai, Wafa;
Giakos, George C.

Publication type:

Article

Blockchain assisted signature and certificate based protocol for efficient data protection and transaction management in smart grids.

Published in:

PLoS ONE, 2025, v. 20, n. 5, p. 1, doi. 10.1371/journal.pone.0318182

By:

Mutlaq, Keyan Abdul-Aziz;
Nyangaresi, Vincent Omollo;
Omar, Mohd Adib;
Abduljabbar, Zaid Ameen;
Ma, Junchao;
Al Sibahee, Mustafa A.;
Aldarwish, Abdulla J. Y.;
Ali, Ali Hasan

Publication type:

Article

A workflow for extended reality-based learning in engineering education.

Published in:

Proceedings of the Estonian Academy of Sciences, 2025, v. 74, n. 2, p. 103, doi. 10.3176/proc.2025.2.03

By:

Pizzagalli, Simone Luca;
Mahmood, Kashif;
Boychuk, Rostyslav;
Otto, Tauno;
Kuts, Vladimir

Publication type:

Article

Integration of Digital Twin, IoT and LoRa in SCARA Robots for Decentralized Automation with Wireless Sensor Networks.

Published in:

Eng (2673-4117), 2025, v. 6, n. 5, p. 90, doi. 10.3390/eng6050090

By:

Lopes, William Aparecido Celestino;
Rusteiko, Adilson Cunha;
Mendes, Cleiton Rodrigues;
Honório, Nicolas Vinicius Cruz;
Okano, Marcelo Tsuguio

Publication type:

Article

A GPT-Based Approach for Cyber Threat Assessment.

Published in:

AI, 2025, v. 6, n. 5, p. 99, doi. 10.3390/ai6050099

By:

Sufi, Fahim

Publication type:

Article

Effect of Human Interaction Modalities on the Usability and Performance of a Robotic Cyber-Physical System for Construction Progress Monitoring.

Published in:

International Journal of Human-Computer Interaction, 2025, v. 41, n. 11, p. 6589, doi. 10.1080/10447318.2024.2381931

By:

Halder, Srijeet;
Afsari, Kereshmeh;
Reichard, Georg

Publication type:

Article

Gearing Up for the Future of Exercise.

Published in:

Simulation & Gaming, 2020, v. 51, n. 6, p. 819, doi. 10.1177/1046878120943253

By:

McGloin, Rory;
Embacher-Martin, Kimberly;
Gilbert, Christine;
VanHeest, Jaci

Publication type:

Article

Patient-centered elective egg freezing: a binational qualitative study of best practices for women's quality of care.

Published in:

Journal of Assisted Reproduction & Genetics, 2019, v. 36, n. 6, p. 1081, doi. 10.1007/s10815-019-01481-2

By:

Inhorn, Marcia C.;
Birenbaum-Carmeli, Daphna;
Westphal, Lynn M.;
Doyle, Joseph;
Gleicher, Norbert;
Meirow, Dror;
Dirnfeld, Martha;
Seidman, Daniel;
Kahane, Arik;
Patrizio, Pasquale

Publication type:

Article

MAKING CONNECTIONS.

Published in:

Government Technology, 2017, v. 30, n. 1, p. 16

By:

Harbert, Tam

Publication type:

Article

Scenic: a language for scenario specification and data generation.

Published in:

Machine Learning, 2023, v. 112, n. 10, p. 3805, doi. 10.1007/s10994-021-06120-5

By:

Fremont, Daniel J.;
Kim, Edward;
Dreossi, Tommaso;
Ghosh, Shromona;
Yue, Xiangyu;
Sangiovanni-Vincentelli, Alberto L.;
Seshia, Sanjit A.

Publication type:

Article

A parameter-less algorithm for tensor co-clustering.

Published in:

Machine Learning, 2023, v. 112, n. 2, p. 385, doi. 10.1007/s10994-021-06002-w

By:

Battaglia, Elena;
Pensa, Ruggero G.

Publication type:

Article

Efficient CPS model based online opinion governance modeling and evaluation for emergency accidents.

Published in:

GeoInformatica, 2018, v. 22, n. 2, p. 479, doi. 10.1007/s10707-018-0319-4

By:

Deng, Xiao Long;
Yu, Yin Luan;
Guo, Dan Huai;
Dou, Ying Tong

Publication type:

Article

Auditory augmented process monitoring for cyber physical production systems.

Published in:

Personal & Ubiquitous Computing, 2021, v. 25, n. 4, p. 691, doi. 10.1007/s00779-020-01394-3

By:

Iber, Michael;
Lechner, Patrik;
Jandl, Christian;
Mader, Manuel;
Reichmann, Michael

Publication type:

Article

User consent modeling for ensuring transparency and compliance in smart cities.

Published in:

Personal & Ubiquitous Computing, 2020, v. 24, n. 4, p. 465, doi. 10.1007/s00779-019-01330-0

By:

Fernández, Javier D.;
Sabou, Marta;
Kirrane, Sabrina;
Kiesling, Elmar;
Ekaputra, Fajar J.;
Azzam, Amr;
Wenning, Rigo

Publication type:

Article

Interference-controlled D2D routing aided by knowledge extraction at cellular infrastructure towards ubiquitous CPS.

Published in:

Personal & Ubiquitous Computing, 2015, v. 19, n. 7, p. 1033, doi. 10.1007/s00779-015-0872-x

By:

Du, Qinghe;
Ren, Pinyi;
Song, Houbing;
Sun, Li;
Xu, Qian

Publication type:

Article

Evolution of the continuous integration of neural networks in autonomous systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2025, v. 27, n. 1, p. 103, doi. 10.1007/s10009-025-00799-w

By:

Steffen, Bruno;
Sondermann, Leonard;
Schütz, Lukas

Publication type:

Article

Visualization, transformation, and analysis of execution traces with the eclipse TRACE4CPS trace tool.

Published in:

International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 1, p. 101, doi. 10.1007/s10009-024-00736-3

By:

Hendriks, Martijn;
Verriet, Jacques;
Basten, Twan

Publication type:

Article

RTAMT – Runtime Robustness Monitors with Application to CPS and Robotics.

Published in:

International Journal on Software Tools for Technology Transfer, 2024, v. 26, n. 1, p. 79, doi. 10.1007/s10009-023-00720-3

By:

Yamaguchi, Tomoya;
Hoxha, Bardh;
Ničković, Dejan

Publication type:

Article

Introduction to the Special Issue on Runtime Verification.

Published in:

International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 4, p. 519, doi. 10.1007/s10009-023-00722-1

By:

Feng, Lu;
Fisman, Dana

Publication type:

Article

Introduction to the Special Issue on Runtime Verification.

Published in:

International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 4, p. 427, doi. 10.1007/s10009-023-00721-2

By:

Deshmukh, Jyotirmoy;
Ničković, Dejan

Publication type:

Article

Predicate monitoring in distributed cyber-physical systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 4, p. 541, doi. 10.1007/s10009-023-00718-x

By:

Momtaz, Anik;
Basnet, Niraj;
Abbas, Houssam;
Bonakdarpour, Borzoo

Publication type:

Article

MoonLight: a lightweight tool for monitoring spatio-temporal properties.

Published in:

International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 4, p. 503, doi. 10.1007/s10009-023-00710-5

By:

Nenzi, Laura;
Bartocci, Ezio;
Bortolussi, Luca;
Silvetti, Simone;
Loreti, Michele

Publication type:

Article

Monitoring with verified guarantees.

Published in:

International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 4, p. 593, doi. 10.1007/s10009-023-00712-3

By:

Baumeister, Jan;
Dauer, Johann C.;
Finkbeiner, Bernd;
Schirmer, Sebastian

Publication type:

Article

Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL.

Published in:

International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 6, p. 911, doi. 10.1007/s10009-022-00665-z

By:

Lee, Jaehun;
Bae, Kyungmin;
Ölveczky, Peter Csaba;
Kim, Sharon;
Kang, Minseok

Publication type:

Article

Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps.

Published in:

International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 6, p. 999, doi. 10.1007/s10009-022-00686-8

By:

Hansen, Simon Thrane;
Thule, Casper;
Gomes, Cláudio;
van de Pol, Jaco;
Palmieri, Maurizio;
Inci, Emin Oguz;
Madsen, Frederik;
Alfonso, Jesús;
Castellanos, José Ángel;
Rodriguez, José Manuel

Publication type:

Article

CPSDebug: Automatic failure explanation in CPS models.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 5, p. 783, doi. 10.1007/s10009-020-00599-4

By:

Bartocci, Ezio;
Manjunath, Niveditha;
Mariani, Leonardo;
Mateis, Cristinel;
Ničković, Dejan

Publication type:

Article

Energy characterization of IoT systems through design aspect monitoring.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 5, p. 765, doi. 10.1007/s10009-020-00598-5

By:

Lekidis, Alexios;
Katsaros, Panagiotis

Publication type:

Article

Specifying and detecting temporal patterns with shape expressions.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 4, p. 565, doi. 10.1007/s10009-021-00627-x

By:

Ničković, Dejan;
Qin, Xin;
Ferrère, Thomas;
Mateis, Cristinel;
Deshmukh, Jyotirmoy

Publication type:

Article

PolyGraph: a data flow model with frequency arithmetic.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 3, p. 489, doi. 10.1007/s10009-020-00586-9

By:

Dubrulle, Paul;
Kosmatov, Nikolai;
Gaston, Christophe;
Lapitre, Arnault

Publication type:

Article

A language and framework for dynamic component ensembles in smart systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 4, p. 497, doi. 10.1007/s10009-020-00558-z

By:

Bures, Tomas;
Gerostathopoulos, Ilias;
Hnetynka, Petr;
Plasil, Frantisek;
Krijt, Filip;
Vinarek, Jiri;
Kofron, Jan

Publication type:

Article