• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 317
Next 10 →

Modeling Robot Behaviors with Hybrid Automatons

by unknown authors
"... 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

by S. Hassan Hosseinnia, Blas M. Vinagre, Vicente Milanés, Carlos González - 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

by T. Kleinert, J. Lunze, Ruhr-universität Bochum, Lehrstuhl Für Automatisierungstechnik, Und Prozessinformatik, Tobias Kleinert, Jan Lunze , 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

by Thomas A. Henzinger , 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

by Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-toi - 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?

by Michael D. O’toole, Eva M. Navarro-lópez
"... 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

by Heinrich Rust , 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

by unknown authors
"... 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?

by Thomas A. Henzinger, Peter W. Kopke, Anuj Puri, Pravin Varaiya - 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

by Michela Becchi
"... 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
Next 10 →
Results 1 - 10 of 317
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University