Results 231 to 240 of about 416,460 (269)
Some of the next articles are maybe not open access.
Hybrid system for telepathology
Human Pathology, 2000We introduce a novel hybrid telepathology system providing simultaneous transmission of both real-time microscopy and static imagery at a reasonable cost. It is capable of capturing static, true color images at resolution of 1,520 x 1,144 pixels and providing live transmission of real-time video images of the glass slide in Common Intermediate Format ...
J, Zhou +4 more
openaire +2 more sources
2008
Hybrid Systems are dynamical systems presenting both discrete and continuous evolution. Hybrid Automata are a formal model for hybrid systems, originally proposed to study embedded systems, where a discrete control acts on a continuously changing environment.
Luca Bortolussi, Alberto Policriti
openaire +1 more source
Hybrid Systems are dynamical systems presenting both discrete and continuous evolution. Hybrid Automata are a formal model for hybrid systems, originally proposed to study embedded systems, where a discrete control acts on a continuously changing environment.
Luca Bortolussi, Alberto Policriti
openaire +1 more source
Surgery
Standard laparoscopic instruments have limited dexterity because of their few degrees of freedom, making some surgical tasks extremely challenging. Robotic surgery was developed to overcome these issues, but the da Vinci system is associated with high costs.
Baldari, Ludovica +2 more
openaire +2 more sources
Standard laparoscopic instruments have limited dexterity because of their few degrees of freedom, making some surgical tasks extremely challenging. Robotic surgery was developed to overcome these issues, but the da Vinci system is associated with high costs.
Baldari, Ludovica +2 more
openaire +2 more sources
Reconfiguration of Hybrid Systems
2023Hybrid systems are characterized by a combination of discrete and continuous behavior. Such hybrid systems are becoming more and more widespread, while constantly developing and growing in size because they create countless possibilities for modeling real-world systems.
openaire +2 more sources
1995
The design of nonlinear dynamical systems to realize the desired behavior of devices and processes is a fundamental problem that is often approached from the perspective of control theory. Control provides a large set of tools for tackling these design problems, but some classes of problems have remained resistant to these methods. This paper discusses
John Guckenheimer, Stewart Johnson
openaire +1 more source
The design of nonlinear dynamical systems to realize the desired behavior of devices and processes is a fundamental problem that is often approached from the perspective of control theory. Control provides a large set of tools for tackling these design problems, but some classes of problems have remained resistant to these methods. This paper discusses
John Guckenheimer, Stewart Johnson
openaire +1 more source
1997
Hybrid systems-those composed of the interaction of discrete and continuous inputs, outputs, states, and dynamic equations-are an important class of models of complex, real-world phenomena. However, the simulation tools currently available seem to be (1) ad hoc retro fitting of existing packages, (2) hastily-built new languages, or (3) specialized ...
Michael S. Branicky, Sven Erik Mattsson
openaire +1 more source
Hybrid systems-those composed of the interaction of discrete and continuous inputs, outputs, states, and dynamic equations-are an important class of models of complex, real-world phenomena. However, the simulation tools currently available seem to be (1) ad hoc retro fitting of existing packages, (2) hastily-built new languages, or (3) specialized ...
Michael S. Branicky, Sven Erik Mattsson
openaire +1 more source
2008
We introduce STORMED hybrid systems, a decidable class of hybrid systems which is similar to o-minimal hybrid automata in that the continuous dynamics and constraints are described in an o-minimal theory. However, unlike o-minimal hybrid automata, the variables are not initialized in a memoryless fashion at discrete steps.
Vladimeros Vladimerou +3 more
openaire +1 more source
We introduce STORMED hybrid systems, a decidable class of hybrid systems which is similar to o-minimal hybrid automata in that the continuous dynamics and constraints are described in an o-minimal theory. However, unlike o-minimal hybrid automata, the variables are not initialized in a memoryless fashion at discrete steps.
Vladimeros Vladimerou +3 more
openaire +1 more source
1996
Hybrid systems combine discrete and continuous behavior. We study properties of trajectories of a rectangular hybrid system in which the discrete state goes through a loop. This system is viable if there exists an infinite trajectory starting from some state. We show that the system is viable if and only if it has a limit cycle or fixed point.
Mikhail Kourjanski, Pravin Varaiya
openaire +1 more source
Hybrid systems combine discrete and continuous behavior. We study properties of trajectories of a rectangular hybrid system in which the discrete state goes through a loop. This system is viable if there exists an infinite trajectory starting from some state. We show that the system is viable if and only if it has a limit cycle or fixed point.
Mikhail Kourjanski, Pravin Varaiya
openaire +1 more source
1993
TLA+ is a general purpose, formal specification language based on the Temporal Logic of Actions, with no built-in primitives for specifying real-time properties. Here, we use TLA+ to define operators for specifying the temporal behavior of physical components obeying integral equations of evolution.
openaire +1 more source
TLA+ is a general purpose, formal specification language based on the Temporal Logic of Actions, with no built-in primitives for specifying real-time properties. Here, we use TLA+ to define operators for specifying the temporal behavior of physical components obeying integral equations of evolution.
openaire +1 more source
Hybrid Energy-Harvesting Systems Based on Triboelectric Nanogenerators
Matter, 2021Changyong Cao +2 more
exaly