Fire-training in a virtual-reality environmentFREUND, Eckhard; ROSSMANN, Jurgen; BTICKEN, Arno et al.SPIE proceedings series. 2005, pp 388-394, isbn 0-8194-5637-3, 7 p.Conference Paper

Comparison of two approaches to automated PI controller tuning for an industrial weigh belt feederYANAN ZHAO; COLLINS, Emmanuel G.ISA transactions. 2004, Vol 43, Num 4, pp 611-621, issn 0019-0578, 11 p.Article

Graphical enhancement to support PCA-based process monitoring and fault diagnosisRALSTON, Patricia; DEPUV, Gail; GRAHAM, James H et al.ISA transactions. 2004, Vol 43, Num 4, pp 639-653, issn 0019-0578, 15 p.Article

A novel intelligent monitor for manufacturing processesGE, M; XU, Y.Robotic welding, intelligence and automation. Lecture notes in control and information sciences. 2004, pp 63-79, issn 0170-8643, isbn 3-540-20804-6, 17 p.Book Chapter

Simulation of two-plane automatic balancing of a rigid rotorSPERLING, L; RYZHIK, B; LINZ, Ch et al.Mathematics and computers in simulation. 2002, Vol 58, Num 4-6, pp 351-365, issn 0378-4754Article

Optimal routing in several deterministic queues with two service timesGAUJAL, Bruno; HYON, Emmanuel.Journal européen des systèmes automatisés. 2002, Vol 36, Num 7, pp 945-957, issn 1269-6935, 13 p.Conference Paper

Modelling surface flows for macroscopic phenomena by cellular automata: An application to debris flowsD'AMBROSIO, Donato; DI GREGORIO, Salvatore; IOVINE, Giulio et al.Lecture notes in computer science. 2002, pp 304-314, issn 0302-9743, isbn 3-540-44304-5, 11 p.Conference Paper

A multiparticle lattice gas automata model for a crowdMARCONI, Stefan; CHOPARD, Bastien.Lecture notes in computer science. 2002, pp 231-238, issn 0302-9743, isbn 3-540-44304-5, 8 p.Conference Paper

Computing reachability relations in timed automataDIMA, Catalin.Proceedings - Symposium on Logic in Computer Science. 2002, pp 177-186, issn 1043-6871, isbn 0-7695-1483-9, 10 p.Conference Paper

Job-shop scheduling using timed automataABDEDDAÏM, Yasmina; MALER, Oded.Lecture notes in computer science. 2001, pp 478-492, issn 0302-9743, isbn 3-540-42345-1Conference Paper

Binary reachability analysis of pushdown timed automata with dense clocksZHE DANG.Lecture notes in computer science. 2001, pp 506-517, issn 0302-9743, isbn 3-540-42345-1Conference Paper

Inference of ω-languages from prefixesDE LA HIGUERA, Colin; JANODET, Jean-Christophe.Lecture notes in computer science. 2001, pp 364-377, issn 0302-9743, isbn 3-540-42875-5Conference Paper

Generating isotropic discrete waves on cellular automataFESCHET, Fabien; TOUGNE, Laure.International journal of pattern recognition and artificial intelligence. 2001, Vol 15, Num 7, pp 1007-1021, issn 0218-0014Article

Myhill-Nerode relations on automatic systems and the completeness of Kleene algebraKOZEN, Dexter.Lecture notes in computer science. 2001, pp 27-38, issn 0302-9743, isbn 3-540-41695-1Conference Paper

RoboCup-99: A student's perspectiveBALTES, Jacky.Lecture notes in computer science. 2001, pp 99-106, issn 0302-9743, isbn 3-540-41694-3Conference Paper

The #a = #b pictures are recognizableREINHARDT, Klaus.Lecture notes in computer science. 2001, pp 527-538, issn 0302-9743, isbn 3-540-41695-1Conference Paper

Experimental system of automated design of logical control devicesZAKREVSKIJ, A. D; V.POTTOSIN, Yu; ROMANOV, V. I et al.Discrete optimization methods in scheduling and computer-aided design. International workshop. 2000, pp 216-221, isbn 985-6453-49-6Conference Paper

Iterative arrays with small time boundsBUCHHOLZ, T; KLEIN, A; KUTRIB, M et al.Lecture notes in computer science. 2000, pp 243-252, issn 0302-9743, isbn 3-540-67901-4Conference Paper

Scaling up uppaal: Automatic verification of real-time systems using compositionality and abstractionJENSEN, Henrik Ejersbo; LARSEN, Kim Guldstrand; SKOU, Arne et al.Lecture notes in computer science. 2000, pp 19-30, issn 0302-9743, isbn 3-540-41055-4Conference Paper

Bounded Petri-net synthesis techniques and their applications to the distribution of reactive automataCAILLAUD, B.Journal européen des systèmes automatisés. 1999, Vol 33, Num 8-9, pp 925-942, issn 1269-6935Conference Paper

Vérification et exécution d'applications temps-réel industrielles avec ELECTRE = Verification and execution of industrial real-time applications with ELECTREBoisieau, Patrice; Roux, Olivier.1999, 223 p.Thesis

Contribution à la commande de systèmes à événements discrets temporisés : synthèse de superviseur dans le cadre de modèle automate = Contribution to the control of timed dicrete event systems : supervisor synthesis for automaton modelGouin, Alexia; Ferrier, Jean-Louis.1999, 150 p.Thesis

Spécifier, c'est programmé ! = Specify, is programmed !BERGER, C.Nouvelles percées dans les langages pour l'automatique. Journée d'études. 1999, 7 p.Conference Paper

On the language generated under fully decentralized supervisionTAKAI, S.IEEE transactions on automatic control. 1998, Vol 43, Num 9, pp 1253-1256, issn 0018-9286Article

On checking Timed Automata for Linear Duration invariantsBRABERMAN, V. A; DANG VAN HUNG.IEEE real-time systems symposium. 1998, pp 264-273, isbn 0-8186-9212-XConference Paper