HYBRID 2007 - PDF Preprint Papers

HYBRID 2007 Hybrid Systems

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed HYBRID-2007 Paper

click to vote

HYBRID
2007
Springer

176views Control Systems» more HYBRID 2007»

Automata Based Interfaces for Control and Scheduling

14 years 6 months ago

Download www.cis.upenn.edu

We propose the use of formal languages of inﬁnite words over the alphabet of task identiﬁers as an interface between control designs and software implementations. We argue that...

Gera Weiss, Rajeev Alur

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	176	Automata Based Interfaces for Control and Scheduling	claim
2	167	Modeling and Optimal Control of Hybrid Rigidbody Mechanical Systems	claim
3	148	Systematic Simulation Using Sensitivity Analysis	claim
4	147	On Self-triggered Full-Information H-Infinity Controllers	claim
5	146	Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems	claim
6	139	Qualitative Analysis of Nonlinear Biochemical Networks with Piecewise-Affine Functions	claim
7	137	Case Studies in Event-Driven Control	claim
8	136	Composition of Dynamical Systems for Estimation of Human Body Dynamics	claim
9	133	Distributed Hybrid Control for Multiple-Pursuer Multiple-Evader Games	claim
10	131	Solving Coverage Problems with Embedded Graph Grammars	claim
11	128	Feedback Scheduling for Pipelines of Tasks	claim
12	127	A Controller Design Method Under Infrequent, Asynchronous Sensing	claim
13	122	Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems	claim
14	122	Diagnosability Verification for Hybrid Automata	claim
15	121	Symbolic Analysis for GSMP Models with One Stateful Clock	claim
16	121	Sporadic Control of First-Order Linear Stochastic Systems	claim
17	120	Switch Detection in Genetic Regulatory Networks	claim
18	117	Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications	claim
19	115	Robust, Optimal Predictive Control of Jump Markov Linear Systems Using Particles	claim
20	115	Toward Flexible Scheduling of Real-Time Control Tasks: Reviewing Basic Control Models	claim
21	115	MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems	claim
22	114	Piecewise Constant Feedback Control of Piecewise Affine Gene Network Models	claim
23	113	Approximately Bisimilar Finite Abstractions of Stable Linear Systems	claim
24	110	A Partial Order Approach to Discrete Dynamic Feedback in a Class of Hybrid Systems	claim
25	110	The Image Computation Problem in Hybrid Systems Model Checking	claim
26	109	The Concept of Deadlock and Livelock in Hybrid Control Systems	claim
27	105	Learning Cycle-Linear Hybrid Automata for Excitable Cells	claim
28	105	Coupling from the Past in Hybrid Models for File Sharing Peer to Peer Systems	claim
29	104	Groupoids in Control Systems and the Reachability Problem for a Class of Quantized Control Systems with Nonabelian Symmetries	claim
30	103	Metrics and Topology for Nonlinear and Hybrid Systems	claim
31	103	Safety Verification of an Aircraft Landing Protocol: A Refinement Approach	claim
32	102	Comparing Forward and Backward Reachability as Tools for Safety Analysis	claim
33	101	Differential Logic for Reasoning About Hybrid Systems	claim
34	101	State Nullification of Switched Systems by Linear Output Feedback	claim
35	100	Model Checking Genetic Regulatory Networks with Parameter Uncertainty	claim
36	100	Foundations of a Compositional Interchange Format for Hybrid Systems	claim
37	97	Approximation of the Joint Spectral Radius of a Set of Matrices Using Sum of Squares	claim
38	97	Composing Semi-algebraic O-Minimal Automata	claim
39	95	Asymptotic Stability of Switched Higher Order Laplacians	claim
40	95	Robust Test Generation and Coverage for Hybrid Systems	claim
41	93	Motion Programs for Puppet Choreography and Control	claim
42	92	Optimal Switches in Multi-inventory Systems	claim
43	88	Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction	claim
44	84	A Hybrid Bellman Equation for Bimodal Systems	claim
45	76	Viability-Based Computations of Solutions to the Hamilton-Jacobi-Bellman Equation	claim
46	75	Safety Analysis of Sugar Cataract Development Using Stochastic Hybrid Systems	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers