WHAT’S REAL IN “REAL-TIME CONTROL SYSTEMS”? Applying formal verification methods and real-time rule-based systems to control systems and robotics

2006 ◽  
pp. 31-35
Author(s):  
Albert M. K. Cheng
Keyword(s):  
Formal Verification ◽  
Control Systems ◽  
Real Time ◽  
Real Time Control ◽  
Rule Based ◽  
Time Control ◽  
Verification Methods ◽  
And Robotics ◽  
Rule Based Systems

Rule-based real-time control systems

1987 ◽  
Author(s):  
James Taylor ◽  
Richard Gerhardt ◽  
E. Luce
Keyword(s):  
Control Systems ◽  
Real Time ◽  
Real Time Control ◽  
Rule Based ◽  
Time Control

scholarly journals Hydraulic optimisation of multiple flow control locations for the design of local real time control systems

2020 ◽  
pp. 1-10
Author(s):  
M. Eulogi ◽  
S. Ostojin ◽  
P. Skipworth ◽  
J. D. Shucksmith ◽  
A. Schellart
Keyword(s):  
Flow Control ◽  
Control Systems ◽  
Real Time ◽  
Real Time Control ◽  
Time Control

Off-Line Prediction in Real-Time Control Systems

1998 ◽  
Vol 31 (15) ◽  
pp. 427-432
Author(s):  
Emmanue Mesnard ◽  
Yvon Trinquet
Keyword(s):  
Control Systems ◽  
Real Time ◽  
Real Time Control ◽  
Time Control
Sign in / Sign up

Export Citation Format

Share Document