Sciweavers

936 search results - page 96 / 188
» FSM-Hume is finite state
Sort
View
ENTCS
2008
84views more  ENTCS 2008»
13 years 9 months ago
Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems
Non-deterministic (also known as possibilistic) and probabilistic state based systems (or automata) have been studied for quite some time. Separately, they are reasonably well-und...
Bart Jacobs
SIAMCO
2008
72views more  SIAMCO 2008»
13 years 9 months ago
Optimal Consumption in a Growth Model with the Cobb--Douglas Production Function
An optimal consumption problem is studied in a growth model for the Cobb-Douglas production function in a finite horizon. The problem is transfered into a stochastic Ramsey proble...
Hiroaki Morimoto, Xun Yu Zhou
ICRA
2010
IEEE
131views Robotics» more  ICRA 2010»
13 years 7 months ago
Human-in-the-Loop: Terminal constraint receding horizon control with human inputs
Abstract-- This paper presents a control theoretic formulation and optimal control solution for integrating human control inputs subject to linear state constraints. The formulatio...
Rahul Chipalkatty, Magnus Egerstedt
CDC
2009
IEEE
132views Control Systems» more  CDC 2009»
13 years 6 months ago
Temporal logic control of discrete-time piecewise affine systems
Abstract-- We consider the problem of controlling a discretetime piecewise affine (PWA) system from a specification given as a Linear Temporal Logic (LTL) formula over linear predi...
Boyan Yordanov, Calin Belta
CORR
2010
Springer
144views Education» more  CORR 2010»
13 years 9 months ago
Algorithmic Verification of Single-Pass List Processing Programs
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
Rajeev Alur, Pavol Cerný