Add to ORKGIn this paper we present a structure called hybrid behavioral automata (HBA) as a tool to model hybrid systems. One distinct feature of HBA is the classification of the transitions into active and passive ones. With such a classification, it is possible to model unidirectional discrete synchronizations between HBA. Interconnection operations for HBA, total and partial, are defined. In thi
Control theory is currently faced with new paradigms and challenges that fall beyond traditional pro...
ISBN : 978-0-521-76505-3Hybrid automata is a modeling formalism for hybrid systems that results from...
Hybrid Systems are dynamical systems presenting both discrete and continuous evolution. Hybrid Autom...
We propose a new hybrid I/O automaton model that is capable of describing both continuous and discre...
AbstractHybrid systems are systems that exhibit a combination of discrete and continuous behavior. T...
Abstract. We propose a new hybrid I/O automaton model that is ca-pable of describing both continuous...
The distinguishing characteristic of hybrid systems is the interaction between a continuous-time and...
Hybrid automata strategies have advanced as a vital tool to design, check and direct the execution o...
Abstract. In earlier work, we developed a mathematical hy-brid I/O automaton (HIOA) modeling framewo...
"The behavior of hybrid systems is described by interacting discrete and continuous variables. In th...
Abstract. This paper summarizes the definitions and several of the main results of an approach to hy...
Computer controlled systems are almost omnipresent nowadays. We expect such systems to function prop...
(c) 1999 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for...
Hybrid system models combine continuous behavior evolution with discrete mode transitions. These tra...
Abstract. In earlier work, we developed a mathematical hybrid I/O automaton (HIOA) modeling framewor...
Control theory is currently faced with new paradigms and challenges that fall beyond traditional pro...
ISBN : 978-0-521-76505-3Hybrid automata is a modeling formalism for hybrid systems that results from...
Hybrid Systems are dynamical systems presenting both discrete and continuous evolution. Hybrid Autom...
We propose a new hybrid I/O automaton model that is capable of describing both continuous and discre...
AbstractHybrid systems are systems that exhibit a combination of discrete and continuous behavior. T...
Abstract. We propose a new hybrid I/O automaton model that is ca-pable of describing both continuous...
The distinguishing characteristic of hybrid systems is the interaction between a continuous-time and...
Hybrid automata strategies have advanced as a vital tool to design, check and direct the execution o...
Abstract. In earlier work, we developed a mathematical hy-brid I/O automaton (HIOA) modeling framewo...
"The behavior of hybrid systems is described by interacting discrete and continuous variables. In th...
Abstract. This paper summarizes the definitions and several of the main results of an approach to hy...
Computer controlled systems are almost omnipresent nowadays. We expect such systems to function prop...
(c) 1999 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for...
Hybrid system models combine continuous behavior evolution with discrete mode transitions. These tra...
Abstract. In earlier work, we developed a mathematical hybrid I/O automaton (HIOA) modeling framewor...
Control theory is currently faced with new paradigms and challenges that fall beyond traditional pro...
ISBN : 978-0-521-76505-3Hybrid automata is a modeling formalism for hybrid systems that results from...
Hybrid Systems are dynamical systems presenting both discrete and continuous evolution. Hybrid Autom...