Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
317
Modeling Robot Behaviors with Hybrid Automatons
"... The design of behaviors, or classes of trajectories, for mobile robots is considered in this work. Hybrid au-tomata are used to model both the mobile robots and their behaviors. The concept of viable trajectories is used to compose hybrid automatons. The proposed ap-proach is applied to the design o ..."
Abstract
- Add to MetaCart
The design of behaviors, or classes of trajectories, for mobile robots is considered in this work. Hybrid au-tomata are used to model both the mobile robots and their behaviors. The concept of viable trajectories is used to compose hybrid automatons. The proposed ap-proach is applied to the design
Controller for urban intersections based on hybrid automaton
- 13th International IEEE Annual Conference on Intelligent Transportation Systems (pp. 261–266). Madeira Island, Portugal. 21 Automated Vehicles (Control Assistance
, 2010
"... AbstractIn this paper, the problem of crossing the inter-sections is studied. A controller is designed based on a hybrid automaton. The design procedure is presented into two cases, problem crossing one automatic car and one manual car from intersection is studied in case one. And following of two a ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
AbstractIn this paper, the problem of crossing the inter-sections is studied. A controller is designed based on a hybrid automaton. The design procedure is presented into two cases, problem crossing one automatic car and one manual car from intersection is studied in case one. And following of two
Kleinert, Lunze: A hybrid automaton representation of SMB chromatographic processes 2
, 2002
"... A hybrid automaton representation of simulated countercurrent chromatographic separation processes April 2002 Bericht Nr. 2002.03 A hybrid automaton representation of simulated countercurrent chromatographic separation processes ..."
Abstract
- Add to MetaCart
A hybrid automaton representation of simulated countercurrent chromatographic separation processes April 2002 Bericht Nr. 2002.03 A hybrid automaton representation of simulated countercurrent chromatographic separation processes
The Theory of Hybrid Automata
, 1996
"... A hybrid automaton is a formal model for a mixed discrete-continuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically. The classification reveals structure on mixed discrete-continuous state spaces that was previously studied on pur ..."
Abstract
-
Cited by 685 (12 self)
- Add to MetaCart
A hybrid automaton is a formal model for a mixed discrete-continuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically. The classification reveals structure on mixed discrete-continuous state spaces that was previously studied
HyTech: A Model Checker for Hybrid Systems
- Software Tools for Technology Transfer
, 1997
"... A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, in a single formalism, automaton transitions for capturing discrete change with differential equations for capturing conti ..."
Abstract
-
Cited by 473 (6 self)
- Add to MetaCart
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, in a single formalism, automaton transitions for capturing discrete change with differential equations for capturing
A Hybrid Automaton for a Class of Multi-Contact Rigid-Body Systems with Friction and Impacts?
"... Abstract: Hybrid automata is a powerful framework for representing the dynamics of rigid-body mechanical systems. Thus far however, work has mainly focused on examples with only single points of contact. Consider for instance, the ubiquitous bouncing-ball example. The case of multiple contacts is mu ..."
Abstract
- Add to MetaCart
is much more complex. An event at one contact can affect the other contacts even when there is no apparent transmission mechanism. In this paper, we present a general hybrid automaton for systems consisting of multiple rigid-bodies with convex differentiable surfaces. The hybrid automaton assumes
Modeling a Production Cell Component as a Hybrid Automaton: A Case Study
, 1999
"... . HyTech, a system to model and analyse linear hybrid systems, is used to model a belt component of a production cell. A strategy is demonstrated for building a model for both the physical components of the belt and its control program, and for proving some properties about the system modeled. On ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
. HyTech, a system to model and analyse linear hybrid systems, is used to model a belt component of a production cell. A strategy is demonstrated for building a model for both the physical components of the belt and its control program, and for proving some properties about the system modeled
A Query-Based Technique for Interpreting Reachable Sets for Hybrid Automaton Models of Protein Feedback Signaling
"... Abstract — Intercellular protein signaling networks involving feedback have been modeled successfully using hybrid automata. Algorithms have also been developed to compute symbolic reachable sets for the biologically observed steady states of the models. However, the complexity and size of the reach ..."
Abstract
- Add to MetaCart
Abstract — Intercellular protein signaling networks involving feedback have been modeled successfully using hybrid automata. Algorithms have also been developed to compute symbolic reachable sets for the biologically observed steady states of the models. However, the complexity and size
What's Decidable about Hybrid Automata?
- Journal of Computer and System Sciences
, 1995
"... . Hybrid automata model systems with both digital and analog components, such as embedded control programs. Many verification tasks for such programs can be expressed as reachability problems for hybrid automata. By improving on previous decidability and undecidability results, we identify a boundar ..."
Abstract
-
Cited by 377 (16 self)
- Add to MetaCart
. Hybrid automata model systems with both digital and analog components, such as embedded control programs. Many verification tasks for such programs can be expressed as reachability problems for hybrid automata. By improving on previous decidability and undecidability results, we identify a
A Hybrid Finite Automaton for Practical Deep Packet Inspection
"... Deterministic finite automata (DFAs) are widely used to perform regular expression matching in linear time. Several techniques have been proposed to compress DFAs in order to reduce memory requirements. Unfortunately, many realworld IDS regular expressions include complex terms that result in an exp ..."
Abstract
-
Cited by 50 (2 self)
- Add to MetaCart
in an exponential increase in number of DFA states. Since all recent proposals use an initial DFA as a startingpoint, they cannot be used as comprehensive regular expression representations in an IDS. In this work we propose a hybrid automaton which addresses this issue by combining the benefits of deterministic
Results 1 - 10
of
317
