Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 50 results in range #51 to #100.

Qualitative Analysis of Nonlinear Biochemical Networks with Piecewise-Affine Functions: Label: en
Trace-Based Semantics for Probabilistic Timed I/O Automata: Label: en
Invertibility and Flatness of Switched Linear Discrete-Time Systems: Label: en
Toward Flexible Scheduling of Real-Time Control Tasks: Reviewing Basic Control Models: Label: en
Computation in One-Dimensional Piecewise Maps: Label: en
Composition of Dynamical Systems for Estimation of Human Body Dynamics: Label: en
On Bicontinuous Bisimulation and the Preservation of Stability: Label: en
A Hybrid Model for Subliminal Air Traffic Control: Label: en
Composing Semi-algebraic O-Minimal Automata: Label: en
Switching-Based Lyapunov Function and the Stabilization of a Class of Non-holonomic Systems: Label: en
A Hybrid Bellman Equation for Bimodal Systems: Label: en
Viability-Based Computations of Solutions to the Hamilton-Jacobi-Bellman Equation: Label: en
Coupling from the Past in Hybrid Models for File Sharing Peer to Peer Systems: Label: en
Optimal Switches in Multi–inventory Systems: Label: en
Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications: Label: en
Necessary Optimality Conditions for a Class of Hybrid Optimal Control Problems: Label: en
Motion Programs for Puppet Choreography and Control: Label: en
Modeling and Optimal Control of Hybrid Rigidbody Mechanical Systems: Label: en
Systematic Simulation Using Sensitivity Analysis: Label: en
Automata Based Interfaces for Control and Scheduling: Label: en
A Partial Order Approach to Discrete Dynamic Feedback in a Class of Hybrid Systems: Label: en
Foundations of a Compositional Interchange Format for Hybrid Systems: Label: en
On Simulations and Bisimulations of General Flow Systems: Label: en
Rate Admission Control for Hard Real-Time Task Scheduling: Label: en
Feedback Scheduling for Pipelines of Tasks: Label: en
Finite State Controllers for Stabilizing Switched Systems with Binary Sensors: Label: en
Optimal Switching of 1-DOF Oscillating Systems: Label: en
Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems: Label: en
Robust, Optimal Predictive Control of Jump Markov Linear Systems Using Particles: Label: en
Stabilization of Limit Cycles of Discretely Controlled Continuous Systems by Controlling Switching Surfaces: Label: en
Symbolic Analysis for GSMP Models with One Stateful Clock: Label: en
Ant Colony and Genetic Algorithm for Constrained Predictive Control of Power Systems: Label: en
MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems: Label: en
A New Hybrid State Estimator for Systems with Limited Mode Changes: Label: en
Model Checking Genetic Regulatory Networks with Parameter Uncertainty: Label: en
The Image Computation Problem in Hybrid Systems Model Checking: Label: en
Minimum Time for a Hybrid System with Thermostatic Switchings: Label: en
Metrics and Topology for Nonlinear and Hybrid Systems: Label: en
Groupoids in Control Systems and the Reachability Problem for a Class of Quantized Control Systems with Nonabelian Symmetries: Label: en
Approximation of the Joint Spectral Radius of a Set of Matrices Using Sum of Squares: Label: en
Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems: Label: en
Comparing Forward and Backward Reachability as Tools for Safety Analysis: Label: en
Solving Coverage Problems with Embedded Graph Grammars: Label: en
CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems: Label: en
Impulse Differential Inclusions Driven by Discrete Measures: Label: en
On Self-triggered Full-Information H-Infinity Controllers: Label: en
Hybrid Control and Verification of a Pulsed Welding Process: Label: en
Minimalilty of Finite Automata Representation in Hybrid Systems Control: Label: en
Robust Test Generation and Coverage for Hybrid Systems: Label: en
Price-Based Optimal Control of Power Flow in Electrical Energy Transmission Networks: Label: en