Karatkevich Andrei (54 results)

2005th ed. 16 x 23 cm. 278 pages. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.

2007th ed. 15 x 23 cm. 183 pages. Paperback. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.

Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Condition: Used. pp. 184.

Condition: Used. pp. 184 Illus.

Condition: Used. pp. 184.

Condition: New.

Condition: New. pp. 284.

Condition: New. pp. 284 Illus.

Condition: As New. Unread book in perfect condition.

Condition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Design of modern digital hardware systems and of complex software systems is almost always connected with parallelism. For example, execution of an object-oriented p- gram can be considered as parallel functioning of the co-operating objects; all modern operating systems are multitasking, and the software tends to be multithread; many complex calculation tasks are solved in distributed way. But designers of the control systems probably have to face parallelism in more evident and direct way. Controllers rarely deal with just one controlled object. Usually a system of several objects is to be controlled, and then the control algorithm naturally turns to be parallel. So, classical and very deeply investigated model of discrete device, Finite State Machine, is not expressive enough for the design of control devices and systems. Theoretically in most of cases behavior of a controller can be described by an FSM, but usually it is not convenient; such FSM description would be much more complex, than a parallel specification (even as a network of several communicating FSMs).…

Condition: New.

Condition: New.

Condition: New.

Condition: New. In English.

Condition: New. In English.

Condition: New. In English.

Condition: New.

Condition: New.

Condition: As New. Unread book in perfect condition.

Condition: As New. Unread book in perfect condition.

Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Condition: As New. Unread book in perfect condition.

Condition: New.

Condition: New. pp. 180.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - A set of original results in the eld of high-level design of logical control devices and systems is presented in this book. These concern different aspects of such important and long-term design problems, including the following, which seem to be the main ones. First, the behavior of a device under design must be described properly, and some adequate formal language should be chosen for that. Second, effective algorithmsshouldbeusedforcheckingtheprepareddescriptionforcorrectness, foritssyntacticandsemanticveri cationattheinitialbehaviorlevel.Third,the problem of logic circuit implementation must be solved using some concrete technological base; ef cient methods of logic synthesis, test, and veri cation should be developed for that. Fourth, the task of the communication between the control device and controlled objects (and maybe between different control devices)waitsforitssolution.Alltheseproblemsarehardenoughandcannotbe successfully solved without ef cient methods and algorithms oriented toward computer implementation. Some of these are described in this book. The languages used for behavior description have been descended usually from two well-known abstract models which became classic: Petri nets and nite state machines (FSMs). Anyhow, more detailed versions are developed and described in the book, which enable to give more complete information concerningspeci cqualitiesoftheregardedsystems.Forexample,themodelof parallelautomatonispresented,whichunliketheconventional niteautomaton can be placed simultaneously into several places, calledpartial. As a base for circuit implementation of control algorithms, FPGA is accepted in majority of cases.…

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Design of modern digital hardware systems and of complex software systems is almost always connected with parallelism. For example, execution of an object-oriented p- gram can be considered as parallel functioning of the co-operating objects; all modern operating systems are multitasking, and the software tends to be multithread; many complex calculation tasks are solved in distributed way. But designers of the control systems probably have to face parallelism in more evident and direct way. Controllers rarely deal with just one controlled object. Usually a system of several objects is to be controlled, and then the control algorithm naturally turns to be parallel. So, classical and very deeply investigated model of discrete device, Finite State Machine, is not expressive enough for the design of control devices and systems. Theoretically in most of cases behavior of a controller can be described by an FSM, but usually it is not convenient; such FSM description would be much more complex, than a parallel specification (even as a network of several communicating FSMs).…

Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This bookpresents the original concepts andmodern techniques for specification, synthesis, optimisation and implementationof parallel logical control devices. It deals with essential problems ofreconfigurable control systems like dependability, modularity and portability.Reconfigurable systems require a wider variety of design and verification optionsthan the application-specific integrated circuits. The book presents acomprehensive selection of possible design techniques. The diversity of themodelling approaches covers Petri nets, state machines and activity diagrams.The preferences of the presented optimization and synthesis methods arenot limited to increasing of the efficiency of resource use. One of the biggestadvantages of the presented methods is the platform independence, the FPGAdevices and single board computers are some of the examples of possibleplatforms. These issues and problems are illustrated with practical cases ofcomplete control systems. If you expect a new look at the reconfigurablesystems designing process or need ideas for improving the quality of theproject, this book is a good choice.g process or needideas for improving the quality of the project, this book is a good choice.…

Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - A set of original results in the eld of high-level design of logical control devices and systems is presented in this book. These concern different aspects of such important and long-term design problems, including the following, which seem to be the main ones. First, the behavior of a device under design must be described properly, and some adequate formal language should be chosen for that. Second, effective algorithmsshouldbeusedforcheckingtheprepareddescriptionforcorrectness, foritssyntacticandsemanticveri cationattheinitialbehaviorlevel.Third,the problem of logic circuit implementation must be solved using some concrete technological base; ef cient methods of logic synthesis, test, and veri cation should be developed for that. Fourth, the task of the communication between the control device and controlled objects (and maybe between different control devices)waitsforitssolution.Alltheseproblemsarehardenoughandcannotbe successfully solved without ef cient methods and algorithms oriented toward computer implementation. Some of these are described in this book. The languages used for behavior description have been descended usually from two well-known abstract models which became classic: Petri nets and nite state machines (FSMs). Anyhow, more detailed versions are developed and described in the book, which enable to give more complete information concerningspeci cqualitiesoftheregardedsystems.Forexample,themodelof parallelautomatonispresented,whichunliketheconventional niteautomaton can be placed simultaneously into several places, calledpartial. As a base for circuit implementation of control algorithms, FPGA is accepted in majority of cases.…

Taschenbuch. Condition: Neu. Dynamic Analysis of Petri Net-Based Discrete Systems | Andrei Karatkevich | Taschenbuch | Lecture Notes in Control and Information Sciences | xiii | Englisch | 2007 | Springer | EAN 9783540714644 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …