English
Related papers

Related papers: Model-Based Engineering of CPPS Functions and Code…

200 papers

The development of cyber-physical system (CPS) is a big challenge because of its complexity and its complex requirements. Especially in Requirements Engineering (RE), there exist many redundant and conflict requirements. Eliminating…

Software Engineering · Computer Science 2017-05-10 Md. Masudur Rahman , Naushin Nower

Software systems development nowadays has moved towards dynamic composition of services that run on distributed infrastructures aligned with continuous changes in the system requirements. Consequently, software developers need to tailor…

Software Engineering · Computer Science 2020-05-12 Mahdi Fahmideh , Mohsen Sharifi , Fereidoon Shams , Hasan Haghighi

Teams of heterogeneous autonomous robots become increasingly important due to their facilitation of various complex tasks. For such heterogeneous robots, there is currently no consistent way of describing the functions that each robot…

Artificial Intelligence · Computer Science 2023-02-10 Luis Miguel Vieira da Silva , Aljosha Köcher , Alexander Fay

Model-based methods are the dominant paradigm for controlling robotic systems, though their efficacy depends heavily on the accuracy of the model used. Deep neural networks have been used to learn models of robot dynamics from data, but…

Robotics · Computer Science 2020-04-23 Jayesh K. Gupta , Kunal Menda , Zachary Manchester , Mykel J. Kochenderfer

This work introduces (1) a technique that allows large language models (LLMs) to leverage user-provided code when solving programming tasks and (2) a method to iteratively generate modular sub-functions that can aid future code generation…

Machine Learning · Computer Science 2023-12-05 Patrick Hajali , Ignas Budvytis

Many automated system analysis techniques (e.g., model checking, model-based testing) rely on first obtaining a model of the system under analysis. System modeling is often done manually, which is often considered as a hindrance to adopt…

Software Engineering · Computer Science 2019-11-22 Jingyi Wang , Jun Sun , Qixia Yuan , Jun Pang

By treating data and models as the source code, Foundation Models (FMs) become a new type of software. Mirroring the concept of software crisis, the increasing complexity of FMs making FM crisis a tangible concern in the coming decade,…

Software Engineering · Computer Science 2024-07-12 Dezhi Ran , Mengzhou Wu , Wei Yang , Tao Xie

Robots' behavior and performance are determined both by hardware and software. The design process of robotic systems is a complex journey that involves multiple phases. Throughout this process, the aim is to tackle various criteria…

Advances in CAD and CAM have enabled engineers and design teams to digitally design parts with unprecedented ease. Software solutions now come with a range of modules for optimizing designs for performance requirements, generating…

Computational Engineering, Finance, and Science · Computer Science 2024-09-06 Hongrui Chen , Aditya Joglekar , Zack Rubinstein , Bradley Schmerl , Gary Fedder , Jan de Nijs , David Garlan , Stephen Smith , Levent Burak Kara

The rapid evolution of Cyber-Physical Systems (CPS) across various domains like mobility systems, networked control systems, sustainable manufacturing, smart power grids, and the Internet of Things necessitates innovative solutions that…

Optimization and Control · Mathematics 2024-06-25 Andreas A. Malikopoulos

Despite the growing availability of sensing and data in general, we remain unable to fully characterise many in-service engineering systems and structures from a purely data-driven approach. The vast data and resources available to capture…

Machine Learning · Computer Science 2023-09-20 Elizabeth J Cross , Timothy J Rogers , Daniel J Pitchforth , Samuel J Gibson , Matthew R Jones

Data-driven modeling is an approach in energy systems modeling that has been gaining popularity. In data-driven modeling, machine learning methods such as linear regression, neural networks or decision-tree based methods are being applied.…

Machine Learning · Computer Science 2023-01-05 Sandra Wilfling

Cyber-Physical Systems (CPS) are systems composed by a physical component that is controlled or monitored by a cyber-component, a computer-based algorithm. Advances in CPS technologies and science are enabling capability, adaptability,…

Logic in Computer Science · Computer Science 2018-10-17 Mario Lezoche , Hervé Panetto

An appropriate system model gives developers a better overview, and the ability to fix more inconsistencies more effectively and earlier in system development, reducing overall effort and cost. However, modelling assumes abstraction of…

Software Engineering · Computer Science 2014-05-01 Maria Spichkova , Heinrich Schmidt , Ian Peake

System reuse and cost are very important in software product line design area. Developers goal is to increase system reuse and decreasing cost and efforts for building components from scratch for each software configuration. This can be…

Software Engineering · Computer Science 2013-11-14 Ola Younis , Said Ghoul , Mohammad H. Alomari

Typical design flows are hierarchical and rely on assembling many individual technology elements from standard cells to complete boards. Providers use compact models to provide simplified views of their products to their users. Designers…

Hardware Architecture · Computer Science 2021-04-23 Dan Alexandrescu , Aneesh Balakrishnan , Thomas Lange , Maximilien Glorieux

The current trend in next-generation exascale systems goes towards integrating a wide range of specialized (co-)processors into traditional supercomputers. However, the integration of different specialized devices increases the degree of…

Programming Languages · Computer Science 2016-03-11 Guillermo Vigueras , Manuel Carro , Salvador Tamarit , Julio Mariño

Cyber-Physical Systems (CPS) allow us to manipulate objects in the physical world by providing a communication bridge between computation and actuation elements. In the current scheme of things, this sought-after control is marred by…

Software Engineering · Computer Science 2020-07-29 Muhammad Atif , Siddique Latif , Rizwan Ahmad , Adnan Khalid Kiani , Junaid Qadir , Adeel Baig , Hisao Ishibuchi , Waseem Abbas

Current challenges of the manufacturing industry require modular and changeable manufacturing systems that can be adapted to variable conditions with little effort. At the same time, production recipes typically represent important company…

Software Engineering · Computer Science 2022-11-07 Aljosha Köcher , Luis Miguel Vieira da Silva , Alexander Fay

Cyber-Physical Systems (CPS) produce behavior through execution on substrates coupling computation with physical processes. However, usual engineering approaches do not treat execution semantics as first-class engineering entities. Formal…

Software Engineering · Computer Science 2026-04-16 Alexandre Muzy
‹ Prev 1 3 4 5 6 7 10 Next ›