3458 search results - page 61 / 692 » Abstracting Control |
FM
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
FQAS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Controlled languages (CLs) are ambiguity-free subsets of natural languages such as English offering a good trade-off between the formal rigor of ontology and query langua...
ICRA
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract— Many robotic control tasks involve complex dynamics that are hard to model. Hand-specifying trajectories that satisfy a system’s dynamics can be very time-consuming a...
INFOCOM
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract— Admission control algorithms used in access networks for multiplexed voice sources are typically based on aggregated system characteristics, such as aggregate loss prob...
CDC
2009
IEEE
14 years 1 days ago
2009
IEEE
Abstract— In this paper, we consider the problems of semiglobal and global internal stabilization of a class of sandwich systems consisting of two linear systems with a saturatio...