Continuity Properties of Nonlinear Affine Control Systems: Applications to Hybrid and Sliding Mode Dynamics Fulltext Access 6 Pages 2009
How to Capture Hybrid Systems Evolution Into Slices of Parallel Hyperplanes Fulltext Access 6 Pages 2009
Perturbation Analysis and Resource Contention Games in Multiclass Stochastic Flow Models Fulltext Access 6 Pages 2009
New Concepts in the Abstract Format of the Compositional Interchange Format Fulltext Access 6 Pages 2009
Design Principles for an Extendable Verification Tool for Hybrid Systems Fulltext Access 6 Pages 2009
Robust reconstruction of the discrete state for a class of nonlinear uncertain switched systems Fulltext Access 6 Pages 2009
High-order sliding modes observer for linear systems with unbounded unknown inputs Fulltext Access 6 Pages 2009
Probabilistic regulation in stochastic hybrid systems subject to safety constraints Fulltext Access 6 Pages 2009
On Performance Analysis of Time Delay Systems using a Switched System Approach Fulltext Access 6 Pages 2009
Stabilization of discrete-time switching systems including modal nonlinearities and saturating actuators Fulltext Access 6 Pages 2009
Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint propagation techniques Fulltext Access 6 Pages 2009
A Probabilistic Reach-Avoid Problem for Controlled Discrete Time Stochastic Hybrid Systems Fulltext Access 6 Pages 2009
Max-Plus Algebraic Modeling and Control of High-Throughput Screening Systems with Multi-Capacity Resources Fulltext Access 6 Pages 2009
Design of Logic Feedback Controllers for Discretely Controlled Continuous Systems Fulltext Access 6 Pages 2009
Model-Based Multivariable Control of a Secondary Air System Using Controlled Finite Markov Chains Fulltext Access 6 Pages 2009
Model-Based Method for Combustion Power Stabilisation in Grate-Fired Boilers Fulltext Access 6 Pages 2009
Application of Fuzzy PID Controller with Self-Adaptive Algorithm and Non-uniform Grid Scheduling to WFGD Fulltext Access 6 Pages 2009
Effects of Wind Turbine Generated Power Fluctuations to Thermal Power Generation – Part I Fulltext Access 6 Pages 2009
Real-time estimation of the switching signal for perturbed switched linear systems Fulltext Access 6 Pages 2009
Robust PI observer design for hybrid heterogeneous multiple models with delayed measurements Fulltext Access 6 Pages 2009
Switched system modeling and robust steering control of the tail end phase in a hot strip mill Fulltext Access 6 Pages 2009
Exact Observer for Switching Linear Systems via Super-Twisting Algorithm Fulltext Access 6 Pages 2009
Finite-Time Converging Jump Observer for Linear Switched Systems with Unknown Inputs Fulltext Access 6 Pages 2009
Real time control via a high order sliding mode controller of a multi-cellular converter Fulltext Access 6 Pages 2009
Dissipativity of Switched Systems With Application to Supervisory Fault Tolerant Control Fulltext Access 6 Pages 2009
Compositional and Assume-Guarantee Reasoning for Switching Linear Systems Fulltext Access 6 Pages 2009
Hybrid-automaton models for simulating systems with sliding motion: still a challenge Fulltext Access 6 Pages 2009
Optimal Control for Deterministic Hybrid Systems using Dynamic Programming Fulltext Access 6 Pages 2009
Geometrical Properties of Optimal Hybrid System Trajectories and the Optimization of Switching Manifolds Fulltext Access 6 Pages 2009
Graph Search for Optimizing the Discrete Location Sequence in Hybrid Optimal Control Fulltext Access 6 Pages 2009
Optimizing Hybrid Control Trajectories by Model abstraction and Refinement Fulltext Access 6 Pages 2009
Safety Assessment of Networked Vehicle Platoon Controllers – Practical Experiences With Available Tools Fulltext Access 6 Pages 2009
Dynamic partial reconfiguration of CPU-s for Programmable Logic Controllers executing control programs developed in the Ladder Diagram language Fulltext Access 6 Pages 2009
RecDEVS: A Comprehensive Model of Computation for Dynamically Reconfigurable Hardware Systems Fulltext Access 6 Pages 2009
Performance Analysis of Reconfigurable Clusters to Design Good Error Correcting Codes in Communications Fulltext Access 6 Pages 2009
Digital System Design Process Automation Using Place/Transition Petri Nets Fulltext Access 6 Pages 2009
Ladder diagram implementation of Control Interpreted Petri Nets: a state equation approach Fulltext Access 6 Pages 2009
A Comparative Analysis of two Verification Techniques for DEDS: Model Checking versus Model-based Testing Fulltext Access 6 Pages 2009
Analysis of Concurrent Discrete Systems by Means of Reduced Reachability Graphs Fulltext Access 6 Pages 2009
A System Level Design Flow for Embedded Systems based on Model of Computation Mappings Fulltext Access 6 Pages 2009
Straight encoding method of supervisor implementation for structured discrete dynamic event system. Fulltext Access 6 Pages 2009
Dynamic and Steady Behavior of Harmonic Filter for Compensating Resonance in Mining Systems Fulltext Access 6 Pages 2009
Application of Inductive Monitoring System for equipment condition monitoring Fulltext Access 6 Pages 2009
Asymmetric Limit Cycles in an Industrially Applied Controlled Resonant Converter Fulltext Access 6 Pages 2009
Modeling of the ARGESIM “Crane and Embedded Controller” System using the DEVSLib Modelica library Fulltext Access 6 Pages 2009
A DEVS—based End-to-end Methodology for Hybrid Control of Embedded Networking Systems Fulltext Access 6 Pages 2009
Approximation of MTS stochastic Petri nets steady state by means of continuous Petri nets: a numerical approach Fulltext Access 6 Pages 2009
A Continuous Petri Net Model for the Management and Design of Emergency Cardiology Departments Fulltext Access 6 Pages 2009
An Efficient Heuristics for Minimum Time Control of Continuous Petri nets Fulltext Access 6 Pages 2009
Hierarchical and Hybrid Model Predictive Control of Quadcopter Air Vehicles Fulltext Access 6 Pages 2009
Design of Reconfigurable Logic Controllers from Petri Net-based specifications Fulltext Access 6 Pages 2009
Statechart Diagrams Implementation in FPGA Structures with Embedded Memory Blocks Fulltext Access 6 Pages 2009