E-Books durchsuchen

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 <Emphasis Type="Italic">L</Emphasis> <Subscript> <Emphasis Type="Italic">m</Emphasis> </Subscript>-closed and the supremal <Emphasis Type="Italic">L</Emphasis> <Subscript> <Emphasis Type="Italic">m</Emphasis> </Subscript>-closed and <Emphasis Type="Italic">L</Emphasis>-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 <Emphasis Type="Italic">GI/G/</Emphasis>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 Hiérarchisée de la Production: Agrégation du Temps et Cohérence

Multi-site planning: A centralized or a distributed approach?

Algorithms for simultaneous scheduling of machines and vehicles in a FMS