Sciweavers

1287 search results - page 22 / 258
» Reduction of Timed Hybrid Systems
Sort
View
HYBRID
2007
Springer
15 years 3 months ago
Toward Flexible Scheduling of Real-Time Control Tasks: Reviewing Basic Control Models
We review state-space control models in order to identify timing properties that can favour flexible scheduling of real-time control tasks. First, from the state-space model of a ...
Pau Martí, Manel Velasco
HYBRID
2004
Springer
15 years 3 months ago
Event-Driven Programming with Logical Execution Times
We present a new high-level programming language, called XGIOTTO, for programming applications with hard real-time constraints. Like its predecessor, XGIOTTO is based on the LET (l...
Arkadeb Ghosal, Thomas A. Henzinger, Christoph M. ...
FUIN
2007
91views more  FUIN 2007»
14 years 9 months ago
Towards a Framework for Modelling Behaviours of Hybrid Systems
The paper is devoted to characterizing hybrid systems by specifying their possible runs, called processes, where each process is represented by a pomset in an intrinsic, global tim...
Józef Winkowski
AUTOMATICA
2006
110views more  AUTOMATICA 2006»
14 years 9 months ago
Solutions to hybrid inclusions via set and graphical convergence with stability theory applications
Motivated by questions in stability theory for hybrid dynamical systems, we establish some fundamental properties of the set of solutions to such systems. Using the notion of a hy...
Rafal Goebel, Andrew R. Teel
CDC
2008
IEEE
125views Control Systems» more  CDC 2008»
14 years 9 months ago
Efficient waypoint tracking hybrid controllers for double integrators using classical time optimal control
This paper is a response to requests from several respected colleagues in academia for a careful writeup of the classical time-optimal control based hybrid controllers that we have...
Haitham A. Hindi, Lara S. Crawford, Rong Zhou, Cra...