Title : 
Modeling of continuous and hybrid systems using partial order relations
         
        
            Author : 
Rakoto-Ravalontsalama, N.
         
        
            Author_Institution : 
Dept. of Autom. Control, Ecole des Mines de Nantes, France
         
        
        
        
        
        
            Abstract : 
The states of a continuous system are approximated by discrete variables. The behavior of the system is then modeled by a finite state automaton. An order relationship over the set of states allows: 1) to define another order relation between the states of a composed automaton; 2) to reduce the number of transitions of the composed automaton; and 3) to write a simple reachability algorithm for finding a goal state
         
        
            Keywords : 
approximation theory; continuous time systems; controllability; discrete time systems; finite automata; simulation; state-space methods; continuous time system; discrete approximation; discrete time systems; finite state automaton; hybrid dynamical system; partial order relations; reachability; state space; Automata; Continuous time systems; Data mining; Joining processes; Physics;
         
        
        
        
            Conference_Titel : 
Intelligent Control, 2001. (ISIC '01). Proceedings of the 2001 IEEE International Symposium on
         
        
            Conference_Location : 
Mexico City
         
        
        
            Print_ISBN : 
0-7803-6722-7
         
        
        
            DOI : 
10.1109/ISIC.2001.971501