Prologue and Preliminaries -- Introduction, Overview, and Examples -- Mathematical Preliminaries -- Asymptotic Properties -- Asymptotic Expansions -- Occupation Measures -- Exponential Bounds -- Interim Summary and Extensions -- Applications -- Stability of Dynamic Systems -- Filtering -- Markov Decision Processes -- LQ Controls -- Mean-Variance Controls -- Production Planning -- Stochastic App…
Cluster Analysis—Partitioning -- An Introduction to Branch-and-Bound Methods for Partitioning -- Minimum-Diameter Partitioning -- Minimum Within-Cluster Sums of Dissimilarities Partitioning -- Minimum Within-Cluster Sums of Squares Partitioning -- Multiobjective Partitioning -- Seriation -- to the Branch-and-Bound Paradigm for Seriation -- Seriation—Maximization of a Dominance Index -- Seri…
and Models of Manufacturing Systems -- Concept of Near—Optimal Control -- Models of Manufacturing Systems -- Optimal Control of Manufacturing Systems: Existence and Characterization -- Optimal Control of Parallel—Machine Systems -- Optimal Control of Dynamic Flowshops -- Optimal Controls of Dynamic Jobshops -- Risk-Sensitive Control -- Near—Optimal Controls -- Near—Optimal Control of Pa…
General Issues -- Learning User Preferences in Distributed Calendar Scheduling -- Semantic Components for Timetabling -- An Open Interactive Timetabling Tool -- Distributed Choice Function Hyper-heuristics for Timetabling and Scheduling -- Transport Timetabling -- A Hybridised Integer Programming and Local Search Method for Robust Train Driver Schedules Planning -- Logistics Service Network Des…
Network -- On the Complexity of Delaying an Adversary’s Project -- A Note on Eswaran and Tarjan’s Algorithm for the Strong Connectivity Augmentation Problem -- Integer and Mixed Integer Programming -- Generating Set Partitioning Test Problems with Known Optimal Integer Solutions -- Computational Aspects of Controlled Tabular Adjustment: Algorithm and Analysis -- The Symphony Callable Librar…
From the Contents. Introduction -- Background Knowledge -- Problems and Overviews of Approach -- Logic -- Formal Support for Data Modelling -- Formal Support for Process Modelling -- Reasoning on and Executing Processes -- Knowledge Sharing and Reuse of Models -- The Use of System: KBST-BM -- Evaluation of System -- Conclusion -- Appendices - A. Generic Models from BSDM -- B. Example Models of …
Decision Modeling Paradigms -- Visual Interactive Decision Modeling -- Online Preference Elicitation -- Collaborative Decision Making -- Negotiation and Conflict Resolution -- Marketing Decision Optimization -- Guidelines for Designing and Evaluating Decision Tools.The integration of analytic models into information systems provides the basis for developing intelligent decision support systems …
Telecommunication Networks -- to Telecommunication Networks -- Digital Networks -- IP-Based Networks -- Queuing Theory and Applications -- Survey on Probability Theory -- Markov Chains and Queuing Theory -- M/G/1 Queuing Theory and Applications -- Local Area Networks Analysis -- Networks of Queues.Queuing Theory and Telecommunications : Networks and Applications provides some fundamental knowle…
Deregulation and Markets in the Electricity Industry -- Decision Making and Uncertainties in the Electricity Industry -- Modelling Electricity Prices -- Modeling Competition in the Electricity Industry -- Optimizing Generation and Trading Portfolios -- Risk Management and Risk Controlling -- Technology Assessment -- Investment Decisions -- Final Remarks.Around the world, liberalization and priv…
Resource Allocation Systems: Concepts and Problems -- Logical Control of Disjunctive / Conjunctive Resource Allocation Systems -- Sequential RAS Admitting Optimal Nonblocking Supervision of Polynomial Complexity -- Polynomial-Kernel Nonblocking Supervisory Control Policies for Single-Unit RAS -- Logical Control of RAS with Complex Process Flows -- Performance-Oriented Modelling and Control of L…