Results 21 to 30 of about 2,377,753 (298)
Journal of Computer and System Sciences, 2005 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
LANOTTE, RUGGERO, MAGGIOLO SCHETTINI A.
openaire +3 more sources
Optimization, Sensitivity Analysis, and Techno-Economic Evaluation of a Multi-Source System for an Urban Community: a Case Study [PDF]
Renewable Energy Research and Applications, 2022 Given the decline of non-renewable energy sources, trying to find new technologies and ways to supply energy and reduce fuel consumption is one of the top priorities of the world.
R. Alayi +3 more
doaj +1 more source
Review of deep learning for photoacoustic imaging
Photoacoustics, 2021 Machine learning has been developed dramatically and witnessed a lot of applications in various fields over the past few years. This boom originated in 2009, when a new model emerged, that is, the deep artificial neural network, which began to surpass ...
Changchun Yang +3 more
doaj +1 more source
Safety verification of a fault tolerant reconfigurable autonomous goal-based robotic control system [PDF]
, 2007 Fault tolerance and safety verification of control systems are essential for the success of autonomous robotic systems. A control architecture called Mission Data System (MDS), developed at the Jet Propulsion Laboratory, takes a goal-based control ...
Braman, Julia M. B. +2 more
core +1 more source
On the Composition of Hybrid Systems [PDF]
, 1998 Concurrent Systems can be usually specified as Systems of communicating processes obtained by composing sequential processes by means of binary parallel composition Operators. The latter express process interaction in terms of action composition. Their semantics is usually defined by two types of rules. —Synchronization rules that specify how an action
Sébastien Bornot, Joseph Sifakis
openaire +1 more source
IEEE Photonics Journal, 2019 Photoacoustic tomography is a technique to reconstruct the image of light energy absorption distribution in tissues based on the detected photoacoustic signals. In recent years, this research field has been greatly developed, and its application range is
Meng Zhou +4 more
doaj +1 more source
Equivalence of switching linear systems by bisimulation [PDF]
, 2006 A general notion of hybrid bisimulation is proposed for the class of switching linear systems. Connections between the notions of bisimulation-based equivalence, state-space equivalence, algebraic and input–output equivalence are investigated.
A. J. van der Schaft +27 more
core +6 more sources
A Hybrid Denotational Semantics for Hybrid Systems [PDF]
, 2008 In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded applications. The discrete part is modeled by a program written in an extension of an imperative language and the continuous part is modeled by differential equations.
Olivier Bouissou, Matthieu Martel
openaire +1 more source
Making Hybrids of Two-Hybrid Systems
BioTechniques, 1997 Two-hybrid systems are powerful tools to find new partners for a protein of interest. However, exchange of material between two-hybrid users has been handicapped by the various versions of two-hybrid systems available and by the widely accepted idea that they are not compatible.
Dagher, M. C., Filhol-Cochet, O.
openaire +4 more sources
Model Reduction Near Periodic Orbits of Hybrid Dynamical Systems [PDF]
, 2015 We show that, near periodic orbits, a class of hybrid models can be reduced to or approximated by smooth continuous-time dynamical systems. Specifically, near an exponentially stable periodic orbit undergoing isolated transitions in a hybrid dynamical ...
Burden, Samuel A. +2 more
core +1 more source