Ditapis dengan
Quantitative Measure for Discrete Event Supervisory Control
Theory of Language Measure and Supervisory Control -- Signed Real Measure of Regular Languages -- Optimal Supervisory Control of Regular Languages -- Robust Optimal Control of Regular Languages -- Advanced Topics in Supervisory Control -- Engineering and Software Applications of Language Measure and Supervisory Control -- Discrete Event Supervisory Control of a Mobile Robotic System -- Optimal …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387239033
- Deskripsi Fisik
- XX, 264 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Design of Embedded Control Systems
Specification of Concurrent Embedded Control Systems -- Using Sequents for Description of Concurrent Digital Systems Behavior -- Formal Logic Design of Reprogrammable Controllers -- Hierarchical Petri Nets for Digital Controller Design -- Analysis and Verification of Discrete-Event Systems -- WCET Prediction for Embedded Processors Using an ADL -- Verification of Control Paths Using Petri Nets …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387283272
- Deskripsi Fisik
- XI, 267 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Attention and Performance in Computational Vision
Attention in Object and Scene Recognition -- Distributed Control of Attention -- Inherent Limitations of Visual Search and the Role of Inner-Scene Similarity -- Attentive Object Detection Using an Information Theoretic Saliency Measure -- Architectures for Sequential Attention -- A Model of Object-Based Attention That Guides Active Visual Search to Behaviourally Relevant Locations -- Learning o…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540305729
- Deskripsi Fisik
- VIII, 236 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Nonblocking Supervisory Control of State Tree Structures
Introduction -- State Tree Structures: Basics -- Nonblocking Supervisory Control of State Tree Structures -- Symbolic Computation of State Tree Structures -- The Production Cell Example -- The AIP Example -- Conclusions and Future Research.This monograph proposes how to manage complexity by organizing the system as a State Tree Structure (STS). Based on STS, which is an adaptation of statechart…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540315896
- Deskripsi Fisik
- XV, 192 p. 114 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
New Directions and Applications in Control Theory
From the contents: An Efficient QR algorithm for a Hessenberg Submatrix of a Unitary Matrix -- Quantum subRiemannian dynamics -- A Homotopy Continuation Solution of the Covariance Extension Equation -- Set-point boundary control for a viscous Burgers equation -- Semi-tensor Product of Matrices and its Applications to Dynamic Systems -- From Empirical Data to Multi-Modal Control Procedures -- Du…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540315742
- Deskripsi Fisik
- XII, 400 p. 65 illus., 1 illus. in color.online resource.
- Judul Seri
- -
- No. Panggil
- -
Vehicle Propulsion Systems
Vehicle Energy and Fuel Consumption — Basic Concepts -- IC-Engine-Based Propulsion Systems -- Models of Electric and Hybrid-Electric Propulsion Systems -- Models of Hybrid-Inertial and Hybrid-Hydraulic Propulsion Systems -- Models of Fuel-Cell Propulsion Systems -- Supervisory Control Algorithms -- Appendix I — Case Studies -- Appendix II — Optimal Control Theory.Automobiles are responsib…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540288534
- Deskripsi Fisik
- X, 293 p. 176 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Switched Linear Systems
Mathematical Preliminaries -- Stabilizing Switching for Autonomous Systems -- Controllability, Observability, and Normal Forms -- Feedback Stabilization -- Optimization -- Conclusions and Perspectives.Switched linear systems have a long history in the control literature but-along with hybrid systems more generally-they have enjoyed a particular growth in interest since the 1990s. The large amou…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781846281310
- Deskripsi Fisik
- XVII, 288 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Switched and Impulsive Systems
Examples and Modelling of Switched and Impulsive Systems -- Analysis of Switched and Impulsive Systems -- Stability of Linear Switched and Impulsive Systems -- Stability of Nonlinear Switched and Impulsive Systems -- Impulsive Synchronization of Chaotic Systems -- Chaos Based Secure Communication Systems -- Scheduling of Switched Server Systems -- Relative Differentiated Quality of Service of t…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540315933
- Deskripsi Fisik
- XVIII, 274 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Subspace Methods for System Identification
Preliminaries -- Linear Algebra and Preliminaries -- Discrete-Time Linear Systems -- Stochastic Processes -- Kalman Filter -- Realization Theory -- Realization of Deterministic Systems -- Stochastic Realization Theory (1) -- Stochastic Realization Theory (2) -- Subspace Identification -- Subspace Identification (1) — ORT -- Subspace Identification (2) — CCA -- Identification of Closed-loop …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781846281587
- Deskripsi Fisik
- XVI, 392 p. 66 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Randomized Algorithms for Analysis and Control of Uncertain Systems
Overview -- Elements of Probability Theory -- Uncertain Linear Systems and Robustness -- Linear Robust Control Design -- Some Limits of the Robustness Paradigm -- Probabilistic Methods for Robustness -- Monte Carlo Methods -- Randomized Algorithms in Systems and Control -- Probability Inequalities -- Statistical Learning Theory and Control Design -- Sequential Algorithms for Probabilistic Robus…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781846280528
- Deskripsi Fisik
- XVII, 344 p. 54 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah