1804 search results - page 105 / 361 » On set systems with a threshold property |
157
click to vote
SAFECOMP
2000
Springer
15 years 10 months ago
2000
Springer
Many safety-related systems are built from generic software which is customised to work in a particular situation by static configuration data. Examples of such systems are railwa...
172
click to vote
ENTCS
2008
15 years 6 months ago
2008
Hybrid Chi is a process algebra for the modeling and analysis of hybrid systems. It enables modular specification of hybrid systems by means of a large set of atomic statements an...
193
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Since the advent of model checking it is becoming more common for languages to be given a semantics in terms of transition systems. Such semantics allow to model check pr...
171
click to vote
AGP
1994
IEEE
15 years 10 months ago
1994
IEEE
This paper considers compositions of conditional term rewriting systems as a basis for a modular approach to the design and analysis of equational logic programs. In this context,...
142
click to vote
EUSFLAT
2007
15 years 8 months ago
2007
In this paper a multistage fuzzy controller is designed and implemented on the ball and beam system which is a well-known benchmark in the control area because of its nonlinear, u...