skip to content
11th International Conference on Analysis and Optimization of Systems : discrete event systems, DES 94 : Sophia-Antipolis, June 15-16-17, 1994 Preview this item
ClosePreview this item
Checking...

11th International Conference on Analysis and Optimization of Systems : discrete event systems, DES 94 : Sophia-Antipolis, June 15-16-17, 1994

Author: Guy Cohen; Jean-Pierre Quadrat; Institut national de recherche en informatique et en automatique (France); École nationale supérieure des mines de Paris.
Publisher: London ; New York : Springer-Verlag, ©1994.
Series: Lecture notes in control and information sciences, 199.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

The conference, coorganized by INRIA and Ecole des Mines de Paris, focuses on Discrete Event Systems (DES) and is aimed at engineers, scientists and mathematicians working in the fields of Automatic  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Congresses
Additional Physical Format: Online version:
International Conference on Analysis and Optimization of Systems (11th : 1994 : Sophia-Antipolis, France).
11th International Conference on Analysis and Optimization of Systems.
London ; New York : Springer-Verlag, ©1994
(OCoLC)624453511
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Guy Cohen; Jean-Pierre Quadrat; Institut national de recherche en informatique et en automatique (France); École nationale supérieure des mines de Paris.
ISBN: 3540198962 9783540198963 0387198962 9780387198965
OCLC Number: 30893029
Notes: "INRIA; École des mines de Paris."
Description: xix, 621 pages : illustrations ; 24 cm.
Contents: Logical aspects of control of discrete-event systems: A survey of tools and techniques.- Automata-theoretic verification of coordinating processes.- Hierarchical COCOLOG for finite machines.- Nondeterministic supervision under partial observations.- Avoiding blocking in prioritized synchronization based control of nondeterministic systems.- Supervisory control for nondeterministic systems.- Effective control of logical discrete event systems in a trace theory setting using the reflection operator.- Diagnosability of discrete event systems.- On the supremal L m -closed and the supremal L m -closed and L-controllable sublanguages of a given language.- Continuous-time supervisory synthesis for distributed-clock discrete-event processes.- Conditions for optimization of discrete event systems using temporal logic models.- Partial difference equation extensions to automata regulator theory.- An algebraic temporal logic approach to the forbidden state problem in discrete event control.- Automata timing specification.- Synthesis of static controllers for forbidden states problems in Boolean C/E systems using the Boolean differential calculus.- Analysis of autonomous Petri nets with bulk services and arrivals.- Dependability and performability analysis using stochastic Petri nets.- Controlled Petri nets: A tutorial survey.- Functional and performance analysis of cooperating sequential processes.- Hierarchically combined queueing Petri nets.- Optimizing structural analysis of extended Petri nets models.- Reduced state space generation of concurrent systems using weak persistency.- A new approach to discrete time stochastic Petri nets.- Analysis of timed place/transition nets using minimal state graphs.- An algebraic description of processes of timed Petri nets.- Dioids and discrete event systems.- On structural properties of min-max systems.- Rational series over dioids and discrete event systems.- Stochastic linear systems in the (max, +) algebra.- Cycle times and fixed points of min-max functions.- The characteristic equation and minimal state space realization of SISO systems in the max algebra.- A max-algebra solution to the supervisory control problem for real-time discrete event systems.- Stable earliest starting schedules for periodic job shops: A linear system approach.- Time discrete and continuous control problems convergence of value functions.- Bellman processes.- Maslov optimisation theory: Stochastic interpretation, particle resolution.- Networks methods for endomorphisms of semimodules over min-plus algebras.- Subdirect sum decomposition of finite dimensional pseudomodules.- The algorithmic analysis of hybrid systems.- A unified framework for hybrid control.- Reasoning about hybrid systems with symbolic simulation.- Simple hybrid control systems - continuous FDLTI plants with quantized control inputs and symbolic measurements.- Controllability and control-law synthesis of linear hybrid systems.- Sample-path-based continuous and discrete optimization of discrete event systems: From gradient estimation to "rapid learning".- Infinitesimal perturbation analysis of Generalized Semi-Markov Processes: A tutorial.- A tutorial overview of optimization via discrete-event simulation.- Parallel simulation of discrete event systems.- On the existence and estimation of performance measure derivatives for stochastic recursions.- Perturbation analysis for the GI/G/1 queue with two priority classes.- Supply management in assembly systems: The case of random lead times.- Simulation trees for functional estimation via the phantom method.- Infinitestimal Perturbation Analysis for discrete event systems with discrete lifetime distributions.- Loss networks in thermodynamic limit.- A survey of Markovian methods for stability of networks.- Stationary regime and stability of free-choice Petri nets.- Allocation sequences of two processes sharing a resource.- Stability criteria for yet another class of multidimensional distributed systems.- Flow control of a virtual circuit.- Stochastic scheduling of precedence graphs.- Management of manufacturing systems based on Petri nets.- Approximate closed queueing network model of a manufacturing cell with a batch material transporter.- Optimizing the transient behavior of hedging control policies in manufacturing systems.- Finding optimal number of Kanbans in a manufacturing system via stochastic approximation and perturbation analysis.- Performance evaluation of a generalized kanban system with a general arrival process of demands.- Hoist scheduling problem in a real time context.- On controlling a class of assembly system with alternative production routeing.- Planification Hierarchisee de la Production: Agregation du Temps et Coherence.- Multi-site planning: A centralized or a distributed approach?.- Algorithms for simultaneous scheduling of machines and vehicles in a FMS.
Series Title: Lecture notes in control and information sciences, 199.
Other Titles: Eleventh International Conference on Analysis and Optimization of Systems.
Responsibility: Guy Cohen and Jean-Pierre Quadrat, (eds.).
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/30893029> # 11th International Conference on Analysis and Optimization of Systems : discrete event systems, DES 94 : Sophia-Antipolis, June 15-16-17, 1994
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "30893029" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   rdfs:seeAlso <http://experiment.worldcat.org/entity/work/data/1365965314#CreativeWork/eleventh_international_conference_on_analysis_and_optimization_of_systems> ; # Eleventh International Conference on Analysis and Optimization of Systems.
   schema:about <http://experiment.worldcat.org/entity/work/data/1365965314#Topic/optimisation_mathematique_congres> ; # Optimisation mathématique--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/1365965314#Topic/system_analysis> ; # System analysis
   schema:about <http://experiment.worldcat.org/entity/work/data/1365965314#Topic/systeme_analyse_de_congres> ; # Système, analyse de--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/1365965314#Topic/mathematical_optimization> ; # Mathematical optimization
   schema:about <http://experiment.worldcat.org/entity/work/data/1365965314#Topic/optimaliseren> ; # Optimaliseren
   schema:about <http://id.worldcat.org/fast/1012099> ; # Mathematical optimization
   schema:about <http://experiment.worldcat.org/entity/work/data/1365965314#Topic/automatic_control> ; # Automatic control
   schema:about <http://experiment.worldcat.org/entity/work/data/1365965314#Topic/commande_automatique_congres> ; # Commande automatique--Congrès
   schema:about <http://id.worldcat.org/fast/1141385> ; # System analysis
   schema:about <http://experiment.worldcat.org/entity/work/data/1365965314#Thing/systems_analysis> ; # Systems analysis
   schema:about <http://dewey.info/class/003.83/e20/> ;
   schema:about <http://id.worldcat.org/fast/822702> ; # Automatic control
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/135918951> ; # Institut national de recherche en informatique et en automatique (France)
   schema:contributor <http://viaf.org/viaf/9119> ; # Guy Cohen
   schema:contributor <http://viaf.org/viaf/44419937> ; # Jean-Pierre Quadrat
   schema:contributor <http://viaf.org/viaf/157813765> ; # École nationale supérieure des mines de Paris.
   schema:copyrightYear "1994" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/1365965314#Meeting/international_conference_on_analysis_and_optimization_of_systems_11th_1994_sophia_antipolis_france> ; # International Conference on Analysis and Optimization of Systems (11th : 1994 : Sophia-Antipolis, France)
   schema:datePublished "1994" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1365965314> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1365965314#Series/lecture_notes_in_control_and_information_sciences> ; # Lecture notes in control and information sciences ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/624453511> ;
   schema:name "11th International Conference on Analysis and Optimization of Systems : discrete event systems, DES 94 : Sophia-Antipolis, June 15-16-17, 1994"@en ;
   schema:productID "30893029" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/30893029#PublicationEvent/london_new_york_springer_verlag_1994> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1365965314#Agent/springer_verlag> ; # Springer-Verlag
   schema:url <http://www.gbv.de/dms/bowker/toc/9780387198965.pdf> ;
   schema:workExample <http://worldcat.org/isbn/9783540198963> ;
   schema:workExample <http://worldcat.org/isbn/9780387198965> ;
   umbel:isLike <http://d-nb.info/941762831> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9449243> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB94X0633> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/30893029> ;
    .


Related Entities

<http://dbpedia.org/resource/London> # London
    a schema:Place ;
   schema:name "London" ;
    .

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/1365965314#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
   schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/1365965314#CreativeWork/eleventh_international_conference_on_analysis_and_optimization_of_systems> # Eleventh International Conference on Analysis and Optimization of Systems.
    a schema:CreativeWork ;
   schema:name "Eleventh International Conference on Analysis and Optimization of Systems." ;
    .

<http://experiment.worldcat.org/entity/work/data/1365965314#Meeting/international_conference_on_analysis_and_optimization_of_systems_11th_1994_sophia_antipolis_france> # International Conference on Analysis and Optimization of Systems (11th : 1994 : Sophia-Antipolis, France)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/1365965314#Place/sophia_antipolis_france> ; # Sophia-Antipolis, France)
   schema:name "International Conference on Analysis and Optimization of Systems (11th : 1994 : Sophia-Antipolis, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1365965314#Place/sophia_antipolis_france> # Sophia-Antipolis, France)
    a schema:Place ;
   schema:name "Sophia-Antipolis, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1365965314#Series/lecture_notes_in_control_and_information_sciences> # Lecture notes in control and information sciences ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/30893029> ; # 11th International Conference on Analysis and Optimization of Systems : discrete event systems, DES 94 : Sophia-Antipolis, June 15-16-17, 1994
   schema:name "Lecture notes in control and information sciences ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1365965314#Topic/commande_automatique_congres> # Commande automatique--Congrès
    a schema:Intangible ;
   schema:name "Commande automatique--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1365965314#Topic/optimisation_mathematique_congres> # Optimisation mathématique--Congrès
    a schema:Intangible ;
   schema:name "Optimisation mathématique--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1365965314#Topic/systeme_analyse_de_congres> # Système, analyse de--Congrès
    a schema:Intangible ;
   schema:name "Système, analyse de--Congrès"@en ;
    .

<http://id.worldcat.org/fast/1012099> # Mathematical optimization
    a schema:Intangible ;
   schema:name "Mathematical optimization"@en ;
    .

<http://id.worldcat.org/fast/1141385> # System analysis
    a schema:Intangible ;
   schema:name "System analysis"@en ;
    .

<http://id.worldcat.org/fast/822702> # Automatic control
    a schema:Intangible ;
   schema:name "Automatic control"@en ;
    .

<http://viaf.org/viaf/135918951> # Institut national de recherche en informatique et en automatique (France)
    a schema:Organization ;
   schema:name "Institut national de recherche en informatique et en automatique (France)" ;
    .

<http://viaf.org/viaf/157813765> # École nationale supérieure des mines de Paris.
    a schema:Organization ;
   schema:name "École nationale supérieure des mines de Paris." ;
    .

<http://viaf.org/viaf/44419937> # Jean-Pierre Quadrat
    a schema:Person ;
   schema:familyName "Quadrat" ;
   schema:givenName "Jean-Pierre" ;
   schema:name "Jean-Pierre Quadrat" ;
    .

<http://viaf.org/viaf/9119> # Guy Cohen
    a schema:Person ;
   schema:familyName "Cohen" ;
   schema:givenName "Guy" ;
   schema:name "Guy Cohen" ;
    .

<http://worldcat.org/isbn/9780387198965>
    a schema:ProductModel ;
   schema:isbn "0387198962" ;
   schema:isbn "9780387198965" ;
    .

<http://worldcat.org/isbn/9783540198963>
    a schema:ProductModel ;
   schema:isbn "3540198962" ;
   schema:isbn "9783540198963" ;
    .

<http://www.worldcat.org/oclc/624453511>
    a schema:CreativeWork ;
   rdfs:label "11th International Conference on Analysis and Optimization of Systems." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/30893029> ; # 11th International Conference on Analysis and Optimization of Systems : discrete event systems, DES 94 : Sophia-Antipolis, June 15-16-17, 1994
    .

<http://www.worldcat.org/title/-/oclc/30893029>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/30893029> ; # 11th International Conference on Analysis and Optimization of Systems : discrete event systems, DES 94 : Sophia-Antipolis, June 15-16-17, 1994
   schema:dateModified "2018-03-12" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.