Abstract
The number of artificial intelligence methods applied to actual industrial process control and/or to plant-wide control has been rapidly increasing. For example, the application of fuzzy controllers in continuous process control and manufacturing, expert systems for automatic and/or automated decision making in production control and in supporting the managerial activities, have proven their effectiveness.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
L.Motus “Artificial Intelligence in Hard Real-time -a new paradigm needed?” 3rd IFAC Workshop on Artificial Intelligence in Real-time Control, 1991, California, U.S.A.
ButlerBloor report “CASE products: comparison and evaluation”, 1992, ButlerBloor Ltd
J.A.Stankovic “Misconceptions about Real-time Computing: a Serious Problem for Next Generation Systems” -IEEE Computer, 1988, vol.21, no. 10
H.W.Lawson “Engineering Predictable Real-time Systems” -Lecture Notes for the NATO Advanced Study Institute on Real-time Computing, Oct. 1992
Z.Manna, A.Pnueli “ The temporal Logic of Reactive and Concurrent Systems: Specifications” -Springer Verlag, New-York, 1991
Z.Manna, A.Pnueli“ Verifying Hybrid Systems” -Workshop on Theory of Hybrid Systems, Technical Univ. of Denmark, Oct. 1992
O.Maler “Hybrid Systems and Real World Computations” -Workshop on Theory of Hybrid Systems, Technical University of Denmark, Oct. 1992
L.Motus “Dynamics of Embedded Software” -Valgus, Tallinn, 1990 (in Russian)
A.T.Kuendig “A note on the meaning of ”“Embedded Systems” in Embedded Systems, Eds. A.T.Kuendig, R.E.Buehner, J.Daehler, Lecture Notes in Computer Science, 1987, no.284, Springer Verlag, 207 pp
C.Ghezzi, D.Mandrioli, S.Morasca, M.Pezzè “ A Unified High-level Petri Net Formalism for Time-critical Systems” -IEEE Trans. on Software Engineering, 1991, vol. SE-17,no. 2
Zhou Chaochen, CAR. Hoare, A.P.Ravn “ A Calculus of Durations” -Information Processing Letters, 1991, vol.40, no.5
G.LeLann “Critical Issues for the Development of Distributed Real-time Computing Systems” -Proc. IEEE Workshop on Future Trends of Distributed Computing Systems, Cairo, Egypt, 1990.
L.Motus “Time Concepts in Real-time Software” -Control Engineering Practice, 1993, vol.1, no.1
EJ.Cameron, Y.-J.Lin “ A Real-time Transition model for Analyzing Behavioral Compatibility of Telecommunications Services” -Software Engineering Notes, 1991, vol.16, no.5
R.Milner “ Calculi for Synchrony and Asynchrony” -Theoretical Computer Science, 1983 vol.25, no.3.
V.Varshavskii (ed.) “ Control Automata for Asynchronous Processes in Computers and Discrete Systems” -Nauka, Moscow, 1986 (in Russian)
P.Caspi, N.Halbwachs “ A Functional Model for Describing and Reasoning about Time Behaviour of Computing Systems” -Acta Informatica, 1986, vol.22
W.J.Quirk, R.Gilbert“The Formal Specification of the Requirements of Complex Real-time Systems” -AERE, Harwell, 1977, no. 8602
L.Motus, K.Kääramees “ A Model Based Design of Distributed Computer Control System Software” -Proc. 4th IFAC Workshop on DCCS, Pergamon Press, 1983
He Jifeng “A Dual-time Model for Communicating Sequential Processes” -Workshop on Theory of Hybrid Systems, Technical University of Denmark, Oct. 1992
T.A.Henzinger, Z.Manna, A.Pnueli “Temporal Proof Methodologies for Realtime Systems” -School on Formal Techniques in Real-time and Fault-tolerant Systems, University of Nijmegen, The Netherlands, Jan. 1992
J.Xu, D.L.Parnas “On Satisfying Timing Constraints in Hard-Real-time Systems” -Software Engineering Notes, 1991, vol.16, no.5
L.Motus “Analytical Study of Quantitative Timing Properties of Software” 5th Euromicro Workshop on Real-time Systems, 1993, IEEE Computer Society Press, 218–223
N.A.Lynch, H.Altiga “Using Mappings to Prove Timing Properties” -Distributed Computing, 1992, vol.6, no.2
J.Ostroff “Temporal Logic for Real-time Systems” -Research Studies Press; John Wiley and Sons Inc., 1989
J.Sifakis “Use of Petri Nets for Performance Evaluation” -Acta Cybernetica, vol. 4, no.2, 1979
I.M.MacLeod “ A Study of Issues Relating to Real-time in Distributed Computer Control Systems” -Ph.D. Thesis, University of Witwatersand, Johannesburg, 1983
L.J.Sloan “ Limiting the Lifetime of Packets in Computer Networks” -Computer Networks, 1979, no.3
L.Motus “Semantics and Implementation Problems of Interprocess Communication in a DCCS Specification” -Proc. IFAC Workshop on DCCS, Pergamon Press, 1986
J.Hooman “Compositional Verification of Distributed Real-time Systems” -School on Formal Techniques in Real-time and Fault-tolerant Systems, University of Nijmegen, The Netherlands, Jan. 1992
P.T.Ward and S.J.Mellor “Structured Development for Real-time Systems”, Yourdan Press Computing Series, 1985, 156 pp.
J.Vain “Comparison of the modelling power of the Q-model and Petri nets” Proc. Estonian Academy of Sciences, vol 36, no 3, 324 – 333 (in russian)
J.Tekko “Comparison of the Q-model and Petri nets based on the Q-model language” Proc. Estonian Academy of Sciences, vol 37, no.l, 18 – 25 (in russian)
J.Tekko “A formal model for LSD language and CSD calculus” Proc. Estonian Academy of Sciences, vol. 41, no.4, 266 –278 (in russian)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Motus, L. (1995). Timing Problems and Their Handling at System Integration. In: Tzafestas, S.G., Verbruggen, H.B. (eds) Artificial Intelligence in Industrial Decision Making, Control and Automation. Microprocessor-Based and Intelligent Systems Engineering, vol 14. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-0305-3_3
Download citation
DOI: https://doi.org/10.1007/978-94-011-0305-3_3
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-4134-8
Online ISBN: 978-94-011-0305-3
eBook Packages: Springer Book Archive