5200 search results - page 158 / 1040 » Symbolic models for control systems |
NFM
2011
13 years 4 months ago
2011
Abstract. Data race is one of the most dangerous errors in multithreaded programming, and despite intensive studies, it remains a notorious cause of failures in concurrent systems....
CUZA
2002
13 years 8 months ago
2002
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...
CCS
2004
ACM
14 years 2 months ago
2004
ACM
Comparing the expressive power of access control models is recognized as a fundamental problem in computer security. Such comparisons are generally based on simulations between di...
ICRA
1999
IEEE
14 years 1 months ago
1999
IEEE
This paper presents a distributed planning and control architecture for autonomous Multi-Manipulator Systems (MMS). The control architecture is implemented using an agent-based ap...
AUTOMATICA
2004
13 years 9 months ago
2004
Nonnegative and compartmental models are widespread in engineering systems and life sciences and play a key role in the understanding of these systems. In this paper, we develop a...