Search Results - Computer systems organisation Embedded AND cyber-physical systems Robotics Robotic control*

A CPS-Based Architecture for Mobile Robotics: Design, Integration, and Localisation Experiments.

Authors: Líšková, Dominika Jadlovská, Anna Pazdič, Filip

Source: Sensors (14248220); Sep2025, Vol. 25 Issue 18, p5715, 27p

Subject Terms: CYBER physical systems, MOBILE robots, EMBEDDED computer systems, MODULAR design, LOCALIZATION theory, SYSTEM integration

Cyber-Physical Systems: A Model-Based Approach

Authors: Walid M. Taha Abd-Elhamid M. Taha Johan Thunberg

Source: 2021_Book_Cyber-PhysicalSystemsAModel-Ba.pdf

Subject Terms: game theory, Textbook, IoT, model-based engineering, Redes de área local inalámbricas, Automatic control engineering, coordinate transformations, Cybernetics & systems theory, Cyber-physical systems, IoT, Control, Robotics, Mechatronics, Computer networking & communications, thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFM Automatic control engineering, Open Access, thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications, Arquitectura de redes de computadores, Embedded System, Control, Robotics, Automation, sensing and actuation, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation, modeling computational systems, Computer Engineering and Networks, Acumen, Computer Systems Organization and Communication Networks, Cyber-Physical Systems, Cyber-physical systems, Simulation and Modeling, Análisis de redes, hybrid systems, modeling physical systems, Electrical engineering, Computer Science, CPS, Computer modelling & simulation, thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering::THR Electrical engineering, Electronic devices & materials, control

File Description: image/jpeg; application/pdf; 187 páginas

Access URL: https://directory.doabooks.org/handle/20.500.12854/39527
https://library.oapen.org/handle/20.500.12657/41754
https://library.oapen.org/bitstream/20.500.12657/41754/1/2021_Book_Cyber-PhysicalSystemsAModel-Ba.pdf
https://www.springer.com/9783030360719
https://library.oapen.org/handle/20.500.12657/41754

Cyber-Physical Systems: A Model-Based Approach

Authors: Taha, Walid M. Taha, Abd-Elhamid M. Thunberg, Johan

Subject Terms: Computer Systems Organization and Communication Networks, Cyber-physical systems, IoT, Simulation and Modeling, Control, Robotics, Mechatronics, Computer Engineering and Networks, Cyber-Physical Systems, Computer Science, Control, Robotics, Automation, CPS, Embedded System, model-based engineering, hybrid systems, Acumen, coordinate transformations, modeling computational systems, modeling physical systems, control, sensing and actuation, game theory, Open Access, Computer networking & communications, Electrical engineering, Cybernetics & systems theory, Computer modelling & simulation, Automatic control engineering, Electronic devices & materials, Textbook, Computer networking and communications, Computer modelling and simulation

File Description: application/pdf

Access URL: https://library.oapen.org/handle/20.500.12657/41754

The virtual-real interaction system design and interaction characteristics research of an ankle rehabilitation robot based on digital twin.

Authors: Xie, Shenglong Zhan, Mengxiang Li, Yuntang et al.

Source: Technology & Health Care; Sep2025, Vol. 33 Issue 5, p2279-2304, 26p

Subject Terms: DIGITAL twin, TELEREHABILITATION, SYSTEMS design, COMPUTER performance, SOFTWARE development tools, ROBOTIC exoskeletons, ANKLE injuries

Contract Embeddings for Layered Control Architectures.

Authors: Naik, Nikhil Vijay Pinto, Alessandro Nuzzo, Pierluigi

Source: ACM Transactions on Embedded Computing Systems; 2025 Suppl 5, Vol. 24, p1-24, 24p

Subject Terms: CYBER physical systems, ENGINEERING contracts, MODEL validation, SOFTWARE architecture

Bridging the IT/OT Security Gap.

Authors: SHARMA, PRANJAL

Source: ISACA Journal; 2025, Issue 4, p21-26, 6p

Subject Terms: INFORMATION technology, SECURITY management, INTERNET security, TRUST, EMBEDDED computer systems

Next-generation Vision Inspection Systems: a pipeline from 3D model to ReCo file.

Authors: Lupi, Francesco Freitas, Nelson Arvana, Miguel et al.

Source: Journal of Intelligent Manufacturing; Oct2025, Vol. 36 Issue 7, p4711-4734, 24p

Subject Terms: COMPUTER-aided design software, AUTOMATION, QUALITY control, ENGINEERING models, THREE-dimensional modeling, COMPUTER vision, CONCURRENT engineering

Modelling, Control Design and Inclusion of Articulated Robots in Cyber-Physical Factories †.

Authors: Belda, Květoslav Venkrbec, Lukáš Jirsa, Jan

Source: Actuators; Mar2025, Vol. 14 Issue 3, p129, 19p

Subject Terms: CASCADE control, ROBOT motion, ROBOT control systems, CONVEYOR belts, SOFTWARE development tools, INDUSTRIAL robots, CYBER physical systems

Student 5.0: immersive learning in next-gen Automation of Manufacturing Systems courses for the Industry 5.0 era.

Authors: Ramírez-Cedillo, Erick Armendáriz-Rodríguez, Maximiliano García-Ávila, Josué et al.

Source: Frontiers in Education; 2025, p1-16, 16p

Subject Terms: INDUSTRY 4.0, ENGINEERING education, SUSTAINABLE development, CAD/CAM systems, RAPID prototyping, CYBER physical systems, INDUSTRIAL robots, IMMERSIVE design

Reviews & Products: SUSTAINABLE Development Goals (United Nations)

Explorations in Cyber-Physical Systems Education.

Authors: SESHIA, SANJIT A.

Source: Communications of the ACM; May2022, Vol. 65 Issue 5, p60-69, 10p, 1 Color Photograph, 3 Illustrations, 2 Diagrams, 2 Charts

Subject Terms: CYBER physical systems, COMPUTER science education, EMBEDDED computer systems

Company/Entity: UNIVERSITY of California, Berkeley

LocSys: A Low-Code Paradigm for the Development of Cyber-Physical Applications.

Authors: Panayiotou, Konstantinos Tsardoulias, Emmanouil Symeonidis, Andreas L.

Source: Sensors (14248220); Jul2025, Vol. 25 Issue 13, p3951, 25p

Subject Terms: CYBER physical systems, DOMAIN-specific programming languages, AUTOMATION, COMPUTER software development, DIGITAL technology, COMPUTER simulation, MODEL-driven software architecture

Unleashing OpenTitan's Potential: a Silicon-Ready Embedded Secure Element for Root of Trust and Cryptographic Offloading.

Authors: Ciani, Maicol Parisi, Emanuele Musa, Alberto et al.

Source: ACM Transactions on Embedded Computing Systems; Sep2025, Vol. 24 Issue 5, p1-29, 29p

Subject Terms: SILICON, SYSTEMS on a chip, REDUCED instruction set computers, EMBEDDED computer systems, DATA integrity

A model-based approach to automation of formal verification of ROS 2-based systems.

Authors: Dust, Lukas Gu, Rong Mubeen, Saad et al.

Source: Frontiers in Robotics & AI; 2025, p1-22, 22p

Subject Terms: ROBOTICS, MODEL-driven software architecture, SOFTWARE development tools, MODEL validation, AUTOMATION

Usability of Symbolic Regression for Hybrid System Identification -System Classes and Parameters

Authors: Plambeck, Swantje Schmidt, Maximilian Subias, Audine et al.

Contributors: Plambeck, Swantje Schmidt, Maximilian Subias, Audine et al.

Subject Terms: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], Computing methodologies → Modeling methodologies Keywords and phrases Hybrid Systems, Symbolic Regression, System Identification, Computing methodologies → Symbolic and algebraic algorithms, Computer systems organization → Embedded and cyber-physical systems, Computing methodologies → Learning paradigms, Hybrid Systems

File Description: application/pdf

Access URL: https://hal.science/hal-04794459v1
https://hal.science/hal-04794459v1/document

Knowledge-based Cyber Physical Security at Smart Home: A Review.

Authors: Alsufyani, Azhar Rana, Omer Perera, Charith

Source: ACM Computing Surveys; Mar2025, Vol. 57 Issue 3, p1-36, 36p

Subject Terms: COMPUTER engineering, HUMAN-computer interaction, CYBER physical systems, COMPUTER science conferences, DATABASE security, HOME computer networks, ACCESS control

Design and Implementation of Secret Key Agreement for Platoon-based Vehicular Cyber-physical Systems

Authors: Li, Kai Ni, Wei Emami, Yousef et al.

Contributors: Li, Kai Ni, Wei Emami, Yousef et al.

Source: ACM Transactions on Cyber-Physical Systems. 4:1-20

Subject Terms: Computer Science - Networking and Internet Architecture, Networking and Internet Architecture (cs.NI), Performance (cs.PF), FOS: Computer and information sciences, Computer systems organization, Computer Science - Performance, Mobile and wireless security, Embedded and cyber-physical systems, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Security and privacy

File Description: application/pdf

Access URL: http://arxiv.org/pdf/1911.07617
http://arxiv.org/abs/1911.07617
https://www.hurray.isep.ipp.pt/docs/design_and_implementation_of_secret_key_agreement_for_platoon_based_vehicular_cyber_physical_systems/1432/
https://193.136.60.49/docs/design_and_implementation_of_secret_key_agreement_for_platoon_based_vehicular_cyber_physical_systems/1432/
https://dl.acm.org/doi/10.1145/3365996
https://arxiv.org/abs/1911.07617
https://cister-labs.pt/docs/design_and_implementation_of_secret_key_agreement_for_platoon_based_vehicular_cyber_physical_systems/1432/
https://dblp.uni-trier.de/db/journals/corr/corr1911.html#abs-1911-07617
https://arxiv.org/pdf/1911.07617.pdf
https://ui.adsabs.harvard.edu/abs/2019arXiv191107617L/abstract
https://arxiv.org/pdf/1911.07617v1
https://hdl.handle.net/10400.22/15280

A comprehensive survey of UPPAAL‐assisted formal modeling and verification.

Authors: Zhou, Wenbo Zhao, Yujiao Zhang, Ye et al.

Source: Software: Practice & Experience; Feb2025, Vol. 55 Issue 2, p272-297, 26p

Subject Terms: COMPUTER network protocols, COMPUTER systems, EDGE computing, RESEARCH questions, CLOUD computing, CYBER physical systems

Sustainable and flexible industrial human machine interfaces to support adaptable applications in the Industry 4.0 paradigm.

Authors: Ardanza, Aitor Moreno, Aitor Segura, Álvaro et al.

Source: International Journal of Production Research; Jun2019, Vol. 57 Issue 12, p4045-4059, 15p, 3 Color Photographs, 6 Diagrams, 3 Charts

Subject Terms: INDUSTRY 4.0, CYBER physical systems, COMPUTER vision, SOFTWARE architecture, INTERNET of things, MACHINING

Automatic Generation of PLC Control Code from Natural Language Requirement Specifications.

Authors: Boudribila, Abderrahmane Tajer, Abdelouahed Boulghasoul, Zakaria

Source: Ingénierie des Systèmes d'Information; Jun2025, Vol. 30 Issue 6, p1597-1607, 11p

Subject Terms: ARTIFICIAL intelligence, PROGRAMMABLE controllers, NATURAL language processing, LANGUAGE models, FLEXIBLE manufacturing systems, COMPUTER programming, AUTOMATION

Research Review on Workshop Scheduling for Intelligent Manufacturing: Digital Twin Modeling, Optimization Algorithm, and System Architecture.

Authors: Sitahong, Adilanmu Chen, Yulong Yuan, Yiping et al.

Source: Machines; Nov2025, Vol. 13 Issue 11, p1021, 93p

Subject Terms: DIGITAL twin, PRODUCTION scheduling, OPTIMIZATION algorithms, REAL-time computing, ROBUST control, AGILE manufacturing systems, SOFTWARE architecture