English
Related papers

Related papers: Flexible Software Framework for Modal Synthesis

200 papers

The predominant knowledge-based approach to automated model construction, compositional modelling, employs a set of models of particular functional components. Its inference mechanism takes a scenario describing the constituent interacting…

Artificial Intelligence · Computer Science 2011-07-04 J. Keppens , Q. Shen

The quality of a simulator equipped with a haptic interface is given by the dynamical properties of its components: haptic interface, simulator and control system. Some application areas of such kind of simulator like musical synthesis,…

Graphics · Computer Science 2010-05-20 Jean-Loup Florens , Alina Voda , Daniela Urma

Reversibility is a key issue in the interface between computation and physics, and of growing importance as miniaturization progresses towards its physical limits. Most foundational work on reversible computing to date has focussed on…

Logic in Computer Science · Computer Science 2011-12-01 Samson Abramsky

In this paper a framework for engineering supervisory controllers for product lines with dynamic feature configuration is proposed. The variability in valid configurations is described by a feature model. Behavior of system components is…

Systems and Control · Electrical Eng. & Systems 2023-05-17 Sander Thuijsman , Michel Reniers

We consider the common problem setting of an elastic sphere impacting on a flexible beam. In contrast to previous studies, we analyze the modal energy distribution induced by the impact, having in mind the particular application of impact…

Systems and Control · Electrical Eng. & Systems 2022-07-05 Felix Gehr , Timo Theurich , Carlo Monjaraz-Tec , Johann Gross , Stefan Schwarz , Andreas Hartung , Malte Krack

Advanced reverse engineering tools are required to cope with the complexity of software systems and the specific requirements of numerous different tasks (re-architecturing, migration, evolution). Consequently, reverse engineering tools…

A formal description of a Cyber-Physical system should include a rigorous specification of the computational and physical components involved, as well as their interaction. Such a description, thus, lends itself to a compositional model…

Logic in Computer Science · Computer Science 2016-12-16 Tobias Kappé , Farhad Arbab , Carolyn Talcott

Individual machines in flexible production lines explicitly expose capabilities at their interfaces by means of parametric skills. Given such a set of configurable machines, a line integrator is faced with the problem of finding and tuning…

Formal Languages and Automata Theory · Computer Science 2016-05-23 Chih-Hong Cheng , Lacramioara Astefanoaei , Harald Ruess , Souha Ben Rayana , Saddek Bensalem

This note aims to provide a systematic investigation of direct data-driven control, enriching the existing literature not by adding another isolated result, but rather by offering a unifying, versatile, and broad framework that enables the…

Systems and Control · Electrical Eng. & Systems 2025-08-11 Nima Monshizadeh , Claudio De Persis , Pietro Tesi

Systems composed of soft matter (e.g., liquids, polymers, foams, gels, colloids, and most biological materials) are ubiquitous in science and engineering, but molecular simulations of such systems pose particular computational challenges,…

Linear Software Models is a systematic effort to formulate a theory of software systems neatly based upon standard mathematics, viz. linear algebra. It has appeared in a series of papers dealing with various aspects of the theory. But one…

Software Engineering · Computer Science 2015-10-16 Iaakov Exman

Large language models (LLMs) are transforming electronic design automation (EDA) by enhancing design stages such as schematic design, simulation, netlist synthesis, and place-and-route. Existing methods primarily focus these optimisations…

Here, we present the concept of an open virtual prototyping framework for maritime systems and operations that enables its users to develop re-usable component or subsystem models, and combine them in full-system simulations for…

Computational Engineering, Finance, and Science · Computer Science 2017-01-05 Severin Sadjina , Lars T. Kyllingstad , Martin Rindarøy , Stian Skjong , Vilmar Æsøy , Dariusz Eirik Fathi , Vahid Hassani , Trond Johnsen , Jørgen Bremnes Nielsen , Eilif Pedersen

This paper tackles the problem of physics-aware human motion synthesis in a dynamic scene. Unlike existing works which mainly tend to generate physically unrealistic motions due to limited contact modeling, typically restricted to hands, in…

Computer Vision and Pattern Recognition · Computer Science 2026-05-05 Chaoyue Xing , Wei Mao , Miaomiao Liu

This paper presents a SysML-based approach to enhance functional and software development process within an industrial context. The recent changes in technology such as electromobility and increased automation in heavy construction…

Software Engineering · Computer Science 2019-06-21 Saurabh Tiwari , Emina Smajlovic , Amina Krekic , Jagadish Suryadevara

Assembly systems constitute one of the most important fields in today industry. In this paper we propose an open distributed architecture for the engineering of evolvable flexible hybrid assembly systems. The proposed architecture is based…

Software Engineering · Computer Science 2014-11-06 Kleanthis Thramboulidis

Molecular representation learning plays a crucial role in advancing applications such as drug discovery and material design. Existing work leverages 2D and 3D modalities of molecular information for pre-training, aiming to capture…

Machine Learning · Computer Science 2025-10-09 Tengwei Song , Min Wu , Yuan Fang

In this review, it is explained and compared different software and formalisms used in music interaction: sequencers, computer-assisted improvisation, meta- instruments, score-following, asynchronous dataflow languages, synchronous dataflow…

Sound · Computer Science 2018-10-11 Mauricio Toro

Model-driven engineering (MDE) provides tools and methods for the manipulation of formal models. In this letter, we leverage MDE for the transformation of production system models into flat files that are understood by general purpose…

Systems and Control · Electrical Eng. & Systems 2019-11-14 Bernhard Wally , Jirí Vyskočil , Petr Novák , Christian Huemer , Radek Šindelář , Petr Kadera , Alexandra Mazak , Manuel Wimmer

The deepening of the penetration of renewable energy is challenging how power system operators cope with their associated variability and uncertainty. The inherent flexibility of dispathchable assets present in power systems, which is often…

Optimization and Control · Mathematics 2024-08-19 Mohamed Awadalla , François Bouffard
‹ Prev 1 4 5 6 7 8 10 Next ›