skip to content
Modeling and Control of Logical Discrete Event Systems Preview this item
ClosePreview this item
Checking...

Modeling and Control of Logical Discrete Event Systems

Author: Ratnesh Kumar; Vijay K Garg
Publisher: Boston, MA : Springer US, 1995.
Series: Springer International Series in Engineering and Computer Science, Discrete Event Dynamic Systems, 300.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
The field of discrete event systems has emerged to provide a formal treatment of many of the man-made systems such as manufacturing systems, communication networks, automated traffic systems, database management systems, and computer systems that are event-driven, highly complex, and not amenable to the classical treatments based on differential or difference equations. Discrete event systems is a growing field that  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: Electronic books
Additional Physical Format: Print version:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Ratnesh Kumar; Vijay K Garg
ISBN: 9781461522171 146152217X
OCLC Number: 852792961
Description: 1 online resource (xiii, 143 pages).
Contents: 1 Introduction to Formal Language Theory --
1.1 Introduction --
1.2 Languages --
1.3 State Machines --
1.4 Regular Languages --
1.5 Non-Regular Languages --
1.6 Exercises --
1.7 Bibliographic Remarks --
2 Introduction to Lattice Theory --
2.1 Partial Order and Lattice --
2.2 Extremal Fixed Points --
2.3 Dual, Co-Dual, Inverse, and Converse Operations --
2.4 Extremal Solutions of Inequations --
2.5 Remark on Inverse Operation --
2.6 Exercises --
2.7 Bibliographic Remarks --
3 Control under Complete Observation --
3.1 Introduction --
3.2 Centralized Control --
3.3 Modular Control --
3.4 Exercises --
3.5 Bibliographic Remarks --
4 Control under Partial Observation --
4.1 Introduction --
4.2 Centralized Control --
4.3 Modular Control --
4.4 Decentralized Control --
4.5 Exercises --
4.6 Bibliographic Remarks --
5 Control of Non-Terminating Behavior --
5.1 Introduction --
5.2 Buchi Machine as Acceptor for?-languages --
5.3?-Controllability --
5.4 Exercises --
5.5 Bibliographic Remarks --
References --
Index 141.
Series Title: Springer International Series in Engineering and Computer Science, Discrete Event Dynamic Systems, 300.
Responsibility: by Ratnesh Kumar, Vijay K. Garg.

Abstract:

The field of discrete event systems has emerged to provide a formal treatment of many of the man-made systems such as manufacturing systems, communica- tion networks.  Read more...

Reviews

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

Tags

Be the first.

Similar Items

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/852792961> # Modeling and Control of Logical Discrete Event Systems
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
    library:oclcnum "852792961" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/33464343#Place/boston_ma> ; # Boston, MA
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
    schema:about <http://id.worldcat.org/fast/1046387> ; # Operations research
    schema:about <http://dewey.info/class/621.3/e23/> ;
    schema:about <http://id.worldcat.org/fast/872078> ; # Computer engineering
    schema:about <http://id.worldcat.org/fast/910312> ; # Engineering
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/85217353> ; # Vijay K. Garg
    schema:creator <http://viaf.org/viaf/31232380> ; # Ratnesh Kumar
    schema:datePublished "1995" ;
    schema:description "The field of discrete event systems has emerged to provide a formal treatment of many of the man-made systems such as manufacturing systems, communication networks, automated traffic systems, database management systems, and computer systems that are event-driven, highly complex, and not amenable to the classical treatments based on differential or difference equations. Discrete event systems is a growing field that utilizes many interesting mathematical models and techniques. In Modeling and Control of Logical Discrete Event Systems, the focus is on a high level treatment of discrete event systems, where the order of events, rather their occurrence times, is the principal concern. Such treatment is needed to guarantee that the system under study meets desired logical goals. In this framework, discrete event systems are modeled by formal languages or, equivalently, by state machines. The field of logical discrete event systems is an interdisciplinary field -- it includes ideas from computer science, control theory, and operations research. Our goal is to bring together in one book the relevant techniques from these fields. Modeling and Control of Logical Discrete Event Systems is the first book of this kind for professionals in the area of discrete event systems. The book is also designed for a graduate level course on logical discrete event systems. It contains all the necessary background material in formal language theory and lattice theory. The only prerequisite is some degree of `mathematical maturity'. Several examples and exercise problems are included in each chapter to facilitate classroom teaching."@en ;
    schema:description "1 Introduction to Formal Language Theory -- 1.1 Introduction -- 1.2 Languages -- 1.3 State Machines -- 1.4 Regular Languages -- 1.5 Non-Regular Languages -- 1.6 Exercises -- 1.7 Bibliographic Remarks -- 2 Introduction to Lattice Theory -- 2.1 Partial Order and Lattice -- 2.2 Extremal Fixed Points -- 2.3 Dual, Co-Dual, Inverse, and Converse Operations -- 2.4 Extremal Solutions of Inequations -- 2.5 Remark on Inverse Operation -- 2.6 Exercises -- 2.7 Bibliographic Remarks -- 3 Control under Complete Observation -- 3.1 Introduction -- 3.2 Centralized Control -- 3.3 Modular Control -- 3.4 Exercises -- 3.5 Bibliographic Remarks -- 4 Control under Partial Observation -- 4.1 Introduction -- 4.2 Centralized Control -- 4.3 Modular Control -- 4.4 Decentralized Control -- 4.5 Exercises -- 4.6 Bibliographic Remarks -- 5 Control of Non-Terminating Behavior -- 5.1 Introduction -- 5.2 Buchi Machine as Acceptor for?-languages -- 5.3?-Controllability -- 5.4 Exercises -- 5.5 Bibliographic Remarks -- References -- Index 141."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/33464343> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0893-3405> ; # The Springer International Series in Engineering and Computer Science, Discrete Event Dynamic Systems,
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/33464343#Series/springer_international_series_in_engineering_and_computer_science_discrete_event_dynamic_systems> ; # Springer International Series in Engineering and Computer Science, Discrete Event Dynamic Systems ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/33464343#CreativeWork/> ;
    schema:name "Modeling and Control of Logical Discrete Event Systems"@en ;
    schema:productID "852792961" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/852792961#PublicationEvent/boston_ma_springer_us_1995> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/33464343#Agent/springer_us> ; # Springer US
    schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3081086> ;
    schema:url <http://dx.doi.org/10.1007/978-1-4615-2217-1> ;
    schema:workExample <http://worldcat.org/isbn/9781461522171> ;
    schema:workExample <http://dx.doi.org/10.1007/978-1-4615-2217-1> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/852792961> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/33464343#Series/springer_international_series_in_engineering_and_computer_science_discrete_event_dynamic_systems> # Springer International Series in Engineering and Computer Science, Discrete Event Dynamic Systems ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/852792961> ; # Modeling and Control of Logical Discrete Event Systems
    schema:name "Springer International Series in Engineering and Computer Science, Discrete Event Dynamic Systems ;" ;
    .

<http://id.worldcat.org/fast/1046387> # Operations research
    a schema:Intangible ;
    schema:name "Operations research"@en ;
    .

<http://id.worldcat.org/fast/872078> # Computer engineering
    a schema:Intangible ;
    schema:name "Computer engineering"@en ;
    .

<http://id.worldcat.org/fast/910312> # Engineering
    a schema:Intangible ;
    schema:name "Engineering"@en ;
    .

<http://viaf.org/viaf/31232380> # Ratnesh Kumar
    a schema:Person ;
    schema:familyName "Kumar" ;
    schema:givenName "Ratnesh" ;
    schema:name "Ratnesh Kumar" ;
    .

<http://viaf.org/viaf/85217353> # Vijay K. Garg
    a schema:Person ;
    schema:familyName "Garg" ;
    schema:givenName "Vijay K." ;
    schema:name "Vijay K. Garg" ;
    .

<http://worldcat.org/entity/work/data/33464343#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/852792961> ; # Modeling and Control of Logical Discrete Event Systems
    .

<http://worldcat.org/isbn/9781461522171>
    a schema:ProductModel ;
    schema:isbn "146152217X" ;
    schema:isbn "9781461522171" ;
    .

<http://worldcat.org/issn/0893-3405> # The Springer International Series in Engineering and Computer Science, Discrete Event Dynamic Systems,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/852792961> ; # Modeling and Control of Logical Discrete Event Systems
    schema:issn "0893-3405" ;
    schema:name "The Springer International Series in Engineering and Computer Science, Discrete Event Dynamic Systems," ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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