Search Results - (Author, Cooperation:T. Boucher)

Showing 1 - 3 results of 3, query time: 0.16s Refine Results
  1. 1
    C. R. Webster ; P. R. Mahaffy ; G. J. Flesch ; P. B. Niles ; J. H. Jones ; L. A. Leshin ; S. K. Atreya ; J. C. Stern ; L. E. Christensen ; T. Owen ; H. Franz ; R. O. Pepin ; A. Steele ; C. Achilles ; C. Agard ; J. A. Alves Verdasca ; R. Anderson ; D. Archer ; C. Armiens-Aparicio ; R. Arvidson ; E. Atlaskin ; A. Aubrey ; B. Baker ; M. Baker ; T. Balic-Zunic ; D. Baratoux ; J. Baroukh ; B. Barraclough ; K. Bean ; L. Beegle ; A. Behar ; J. Bell ; S. Bender ; M. Benna ; J. Bentz ; G. Berger ; J. Berger ; D. Berman ; D. Bish ; D. F. Blake ; J. J. Blanco Avalos ; D. Blaney ; J. Blank ; H. Blau ; L. Bleacher ; E. Boehm ; O. Botta ; S. Bottcher ; T. Boucher ; H. Bower ; N. Boyd ; B. Boynton ; E. Breves ; J. Bridges ; N. Bridges ; W. Brinckerhoff ; D. Brinza ; T. Bristow ; C. Brunet ; A. Brunner ; W. Brunner ; A. Buch ; M. Bullock ; S. Burmeister ; M. Cabane ; F. Calef ; J. Cameron ; J. Campbell ; B. Cantor ; M. Caplinger ; J. Caride Rodriguez ; M. Carmosino ; I. Carrasco Blazquez ; A. Charpentier ; S. Chipera ; D. Choi ; B. Clark ; S. Clegg ; T. Cleghorn ; E. Cloutis ; G. Cody ; P. Coll ; P. Conrad ; D. Coscia ; A. Cousin ; D. Cremers ; J. Crisp ; A. Cros ; F. Cucinotta ; C. d'Uston ; S. Davis ; M. Day ; M. de la Torre Juarez ; L. DeFlores ; D. DeLapp ; J. DeMarines ; D. DesMarais ; W. Dietrich ; R. Dingler ; C. Donny ; B. Downs ; D. Drake ; G. Dromart ; A. Dupont ; B. Duston ; J. Dworkin ; M. D. Dyar ; L. Edgar ; K. Edgett ; C. Edwards ; L. Edwards ; B. Ehlmann ; B. Ehresmann ; J. Eigenbrode ; B. Elliott ; H. Elliott ; R. Ewing ; C. Fabre ; A. Fairen ; K. Farley ; J. Farmer ; C. Fassett ; L. Favot ; D. Fay ; F. Fedosov ; J. Feldman ; S. Feldman ; M. Fisk ; M. Fitzgibbon ; M. Floyd ; L. Fluckiger ; O. Forni ; A. Fraeman ; R. Francis ; P. Francois ; C. Freissinet ; K. L. French ; J. Frydenvang ; A. Gaboriaud ; M. Gailhanou ; J. Garvin ; O. Gasnault ; C. Geffroy ; R. Gellert ; M. Genzer ; D. Glavin ; A. Godber ; F. Goesmann ; W. Goetz ; D. Golovin ; F. Gomez Gomez ; J. Gomez-Elvira ; B. Gondet ; S. Gordon ; S. Gorevan ; J. Grant ; J. Griffes ; D. Grinspoon ; J. Grotzinger ; P. Guillemot ; J. Guo ; S. Gupta ; S. Guzewich ; R. Haberle ; D. Halleaux ; B. Hallet ; V. Hamilton ; C. Hardgrove ; D. Harker ; D. Harpold ; A. M. Harri ; K. Harshman ; D. Hassler ; H. Haukka ; A. Hayes ; K. Herkenhoff ; P. Herrera ; S. Hettrich ; E. Heydari ; V. Hipkin ; T. Hoehler ; J. Hollingsworth ; J. Hudgins ; W. Huntress ; J. Hurowitz ; S. Hviid ; K. Iagnemma ; S. Indyk ; G. Israel ; R. Jackson ; S. Jacob ; B. Jakosky ; E. Jensen ; J. K. Jensen ; J. Johnson ; M. Johnson ; S. Johnstone ; A. Jones ; J. Joseph ; I. Jun ; L. Kah ; H. Kahanpaa ; M. Kahre ; N. Karpushkina ; W. Kasprzak ; J. Kauhanen ; L. Keely ; O. Kemppinen ; D. Keymeulen ; M. H. Kim ; K. Kinch ; P. King ; L. Kirkland ; G. Kocurek ; A. Koefoed ; J. Kohler ; O. Kortmann ; A. Kozyrev ; J. Krezoski ; D. Krysak ; R. Kuzmin ; J. L. Lacour ; V. Lafaille ; Y. Langevin ; N. Lanza ; J. Lasue ; S. Le Mouelic ; E. M. Lee ; Q. M. Lee ; D. Lees ; M. Lefavor ; M. Lemmon ; A. Lepinette Malvitte ; R. Leveille ; E. Lewin-Carpintier ; K. Lewis ; S. Li ; L. Lipkaman ; C. Little ; M. Litvak ; E. Lorigny ; G. Lugmair ; A. Lundberg ; E. Lyness ; M. Madsen ; J. Maki ; A. Malakhov ; C. Malespin ; M. Malin ; N. Mangold ; G. Manhes ; H. Manning ; G. Marchand ; M. Marin Jimenez ; C. Martin Garcia ; D. Martin ; M. Martin ; J. Martinez-Frias ; J. Martin-Soler ; F. J. Martin-Torres ; P. Mauchien ; S. Maurice ; A. McAdam ; E. McCartney ; T. McConnochie ; E. McCullough ; I. McEwan ; C. McKay ; S. McLennan ; S. McNair ; N. Melikechi ; P. Y. Meslin ; M. Meyer ; A. Mezzacappa ; H. Miller ; K. Miller ; R. Milliken ; D. Ming ; M. Minitti ; M. Mischna ; I. Mitrofanov ; J. Moersch ; M. Mokrousov ; A. Molina Jurado ; J. Moores ; L. Mora-Sotomayor ; J. M. Morookian ; R. Morris ; S. Morrison ; R. Mueller-Mellin ; J. P. Muller ; G. Munoz Caro ; M. Nachon ; S. Navarro Lopez ; R. Navarro-Gonzalez ; K. Nealson ; A. Nefian ; T. Nelson ; M. Newcombe ; C. Newman ; H. Newsom ; S. Nikiforov ; B. Nixon ; E. Noe Dobrea ; T. Nolan ; D. Oehler ; A. Ollila ; T. Olson ; M. A. de Pablo Hernandez ; A. Paillet ; E. Pallier ; M. Palucis ; T. Parker ; Y. Parot ; K. Patel ; M. Paton ; G. Paulsen ; A. Pavlov ; B. Pavri ; V. Peinado-Gonzalez ; L. Peret ; R. Perez ; G. Perrett ; J. Peterson ; C. Pilorget ; P. Pinet ; J. Pla-Garcia ; I. Plante ; F. Poitrasson ; J. Polkko ; R. Popa ; L. Posiolova ; A. Posner ; I. Pradler ; B. Prats ; V. Prokhorov ; S. W. Purdy ; E. Raaen ; L. Radziemski ; S. Rafkin ; M. Ramos ; E. Rampe ; F. Raulin ; M. Ravine ; G. Reitz ; N. Renno ; M. Rice ; M. Richardson ; F. Robert ; K. Robertson ; J. A. Rodriguez Manfredi ; J. J. Romeral-Planello ; S. Rowland ; D. Rubin ; M. Saccoccio ; A. Salamon ; J. Sandoval ; A. Sanin ; S. A. Sans Fuentes ; L. Saper ; P. Sarrazin ; V. Sautter ; H. Savijarvi ; J. Schieber ; M. Schmidt ; W. Schmidt ; D. Scholes ; M. Schoppers ; S. Schroder ; S. Schwenzer ; E. Sebastian Martinez ; A. Sengstacken ; R. Shterts ; K. Siebach ; T. Siili ; J. Simmonds ; J. B. Sirven ; S. Slavney ; R. Sletten ; M. Smith ; P. Sobron Sanchez ; N. Spanovich ; J. Spray ; S. Squyres ; K. Stack ; F. Stalport ; T. Stein ; N. Stewart ; S. L. Stipp ; K. Stoiber ; E. Stolper ; B. Sucharski ; R. Sullivan ; R. Summons ; D. Sumner ; V. Sun ; K. Supulver ; B. Sutter ; C. Szopa ; F. Tan ; C. Tate ; S. Teinturier ; I. ten Kate ; P. Thomas ; L. Thompson ; R. Tokar ; M. Toplis ; J. Torres Redondo ; M. Trainer ; A. Treiman ; V. Tretyakov ; R. Urqui-O'Callaghan ; J. Van Beek ; T. Van Beek ; S. VanBommel ; D. Vaniman ; A. Varenikov ; A. Vasavada ; P. Vasconcelos ; E. Vicenzi ; A. Vostrukhin ; M. Voytek ; M. Wadhwa ; J. Ward ; E. Weigle ; D. Wellington ; F. Westall ; R. C. Wiens ; M. B. Wilhelm ; A. Williams ; J. Williams ; R. Williams ; R. B. Williams ; M. Wilson ; R. Wimmer-Schweingruber ; M. Wolff ; M. Wong ; J. Wray ; M. Wu ; C. Yana ; A. Yen ; A. Yingst ; C. Zeitlin ; R. Zimdar ; M. P. Zorzano Mier
    American Association for the Advancement of Science (AAAS)
    Published 2013
    Staff View
    Publication Date:
    2013-07-23
    Publisher:
    American Association for the Advancement of Science (AAAS)
    Print ISSN:
    0036-8075
    Electronic ISSN:
    1095-9203
    Topics:
    Biology
    Chemistry and Pharmacology
    Computer Science
    Medicine
    Natural Sciences in General
    Physics
    Published by:
    Latest Papers from Table of Contents or Articles in Press
  2. 2
  3. 3
    Pinzon, L.E. ; Hanisch, H.-M. ; Jafari, M.A. ; Boucher, T.
    Springer
    Published 1999
    Staff View
    ISSN:
    1572-8102
    Keywords:
    discrete event systems ; automata ; Petri Net ; temporal logic ; net condition event systems ; controller synthesis
    Source:
    Springer Online Journal Archives 1860-2000
    Topics:
    Computer Science
    Notes:
    Abstract The purpose of this paper is to illustrate and compare some of the existing synthesis methods for discrete event controllers. We summarize four of the well-known methodologies in the context of plant model, specification model, and controller synthesis procedure. Then, by applying the models to two working examples, we explore and compare the descriptive power of the methods and their capabilities for handling various types of specifications.
    Type of Medium:
    Electronic Resource
    URL:
    Articles: DFG German National Licenses