5200 search results - page 694 / 1040 » Symbolic models for control systems |
236
click to vote
APIN
1998
15 years 7 months ago
1998
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...
232
click to vote
CAISE
1995
Springer
15 years 11 months ago
1995
Springer
In this work we discuss a number of issues for the design of hypertext systems in an actor-based model of computation. We examine how the "traditional" basic concepts whi...
192
click to vote
TROB
2002
15 years 7 months ago
2002
In this paper, we study the interconnection of two robots, which are modeled as port-controlled Hamiltonian systems through a transmission line with time delay. There will be no an...
228
click to vote
SMC
2007
IEEE
16 years 1 months ago
2007
IEEE
—Digitization of production factors, including the knowledge for knowledge workers and consumers, opens almost infinite potential to connect persons, systems, processes, enterpri...
196
click to vote
MAM
2006
15 years 7 months ago
2006
Reconfigurable systems can offer the high spatial parallelism and fine-grained, bit-level resource control traditionally associated with hardware implementations, along with the f...