Modelling hybrid production systems through the ACD specification: a case study in the fibre-glass industry

References

• Alla , H and David , R . 1998 . A modelling and analysis tool for discrete events systems: continuous Petri nets . Perform. Eval. , 33 : 175 – 199 .
   Web of Science ®Google Scholar
• Alur , H , Courcoubetis , C , Henzinger , TA and Ho , PH . 1993 . “ Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems ” . In Lecture Notes in Computer Science: Hybrid Systems I , Edited by: Grossman , RL , Nerode , A , Raun , AP and Rischel , H . 209 – 229 . London : Springer-Verlag .
   Google Scholar
• Alur , R , Henzinger , T , Lafferriere , G and Pappas , G . 2000 . Discrete abstraction of hybrid systems . IEEE Trans. Hyb. Sys. , 88 : 971 – 984 .
   Google Scholar
• Asarin , E , Maler , O and Pneuli , A . 1995 . Reachability analysis of dynamical systems having piecewise-constant derivatives . Theor. Comput. Sci. , 138 : 35 – 65 .
   Web of Science ®Google Scholar
• Benveniste , A , Le Borgne , M and Le Guernie , P . 1993 . “ Hybrid Systems: the SIGNAL approach ” . In Lecture Notes in Computer Science: Hybrid Systems I , Edited by: Grossman , RL , Nerode , A , Ravn , AP and Rischel , H . 209 – 229 . London : Springer-Verlag .
   Google Scholar
• Branicky , MS . 1996 . “ On a class of general hybrid dynamical systems ” . In IFAC World Congress’96 287 – 292 .
   Google Scholar
• Branicky , MS , Borkar , VS and Mitter , SK . 1998 . A unified framework for hybrid control: model and optimal control theory . IEEE Trans. Auto. Cont. , 43 : 31 – 45 .
   Web of Science ®Google Scholar
• Champagnat , R , Esteban , P , Pingaud , H and Valette , R . 1998 . Petri net based modelling of hybrid systems . Comp. Indust. , 36 : 139 – 146 .
   Web of Science ®Google Scholar
• Cigolini , R and Rossi , T . 2004 . Improving productivity of automated tissue converting lines: an empirical model and a case-study . Prod. Plan. Cont. , 5 : 550 – 563 .
   Google Scholar
• Demongodin , I and Koussoulas , NT . 1996 . “ Modelling dynamic systems through Petri nets ” . In Symposium on Discrete Events and Manufacturing Systems 279 – 284 .
   Google Scholar
• Deshpande , A and Varaiya , P . 1995 . “ Viable Control of hybrid systems ” . In Lecture Notes in Computer Science: Hybrid Systems II , Edited by: Anstaklis , P , Kohn , W , Nerode , A and Sastry , S . 128 – 147 . London : Springer-Verlag .
   Google Scholar
• Engle , RF . 2000 . The econometrics of ultra-high frequency data . Econometrica , 1 : 1 – 22 .
   Google Scholar
• Engle , RF and Lunde , A . 2003 . Trades and quotes: a bi-variate point process . J. Financial Econometrics , 1 : 159 – 188 .
   Google Scholar
• Engle , RF and Russell , JR . 1998 . Autoregressive conditional duration: a new model for irregularly spaced transaction data . Econometrica , 5 : 1127 – 1162 .
   Web of Science ®Google Scholar
• Greene , W . 2000 . Econometric Analysis , Upper Saddle River, New Jersey : Prentice Hall .
   Google Scholar
• Jeffreys , H and Jeffreys , B . 1988 . Methods of Mathematical Physics , Cambridge, , England : Cambridge University Press .
   Google Scholar
• Kelton , WD , Sadowski , RP and Sadowski , DA . 2002 . Simulation with ARENA , Boston, MA : McGraw-Hill .
   Google Scholar
• Kuhmonen , M . 1997 . “ The effect of operational disturbances on reliability and operation time distribution of NC–machine tools in FMS ” . In Report No. 59 , Finland : Lappeenranta University of Technology .
   Google Scholar
• Labinaz , G , Bayoumi , MM and Rudie , K . 1997 . A survey of modelling and control of hybrid systems . Ann. Rev. Cont. , 21 : 79 – 92 .
   Google Scholar
• Law , AM and Kelton , WD . 2000 . Simulation Modelling and Analysis , Boston, MA : McGraw-Hill .
   Google Scholar
• Lunze , J . 2002 . “ What is a hybrid system? ” . In Modelling, analysis and design of hybrid systems , Edited by: Engell , S , Frehse , G and Schnieder , E . Berlin, , Germany : Springer .
   Google Scholar
• Montgomery , D . 1991 . Design and Analysis of Experiments , New York, NY : John Wiley & Sons .
   Google Scholar
• Mostermann , PJ , Biswas , G and Sztipanovits , J . 1998 . A hybrid modelling and verification paradigm for embedded control systems . Cont. Eng. Prac. , 6 : 511 – 521 .
   Web of Science ®Google Scholar
• Nicollin , X , Sifakis , J and Yovine , S . 1992 . “ From ATP to timed graphs and hybrid systems ” . In Real Time: Theory in Practice, Lecture Notes in Computer Science , Edited by: De Bakker , JW , Huising , K , de Roever , W.P and Rozemberg , G . 549 – 572 . London, , England : Springer-Verlag .
   Google Scholar
• Noè , C and Rossi , T . 2003 . “ Hybrid production system simulation: the application of the ACD models ” . In 30th ANIMP-OICE-UAMI National Conference 373 – 391 . (in Italian)
   Google Scholar
• Pettersson , S and Lennartson , B . 1995 . “ Hybrid modelling focused on hybrid Petri nets ” . In 2nd European Workshop on Real-time and Hybrid systems 303 – 309 .
   Google Scholar
• Reisig , W and Rozenberg , G . 1998 . Lectures on Petri Nets I: Basic Models , Berlin, , Germany : Springer .
   Google Scholar
• Rossi , T . 2004 . Hybrid Production Systems: Logical Modelling and Simulation. A Case Study Belonging to the Fibre-Glass Industry , Milan, , Italy : Guerini Scientifica .
   Google Scholar
• Stiver , JA , Antsaklis , PJ and Lemmon , MD . 1996 . A logical DES approach to the design of hybrid control systems . Math. Compu. Model. , 11/12 : 55 – 76 .
   Google Scholar
• Tittus , M and Egardt , B . 1994 . Controllability and control law synthesis of linear hybrid systems . Lecture Notes in Cont. Inform. Sci. , 199 : 377 – 383 .
   Google Scholar
• Wieting , R . 1996 . “ Hybrid high-level nets ” . In 1996 Winter Simulation Conference 193 – 200 .
   Google Scholar
• Yuniarto , MN and Labib , AW . 2005 . Optimal control of an unreliable machine using fuzzy-logic control: from design to implementation . Int. J. Prod. Res. , 43 : 4509 – 4537 .
   Google Scholar
• Zadeh , LA . 1965 . Fuzzy sets . Inform. Cont. , 8 : 338 – 353 .
   Web of Science ®Google Scholar
• Zhang , MY , Russell , JR and Tsay , RS . 2001 . A nonlinear autoregressive conditional duration model with applications to financial transaction data . J. Econometrics , 1 : 179 – 207 .
   Google Scholar
• Zimmermann , HJ . 1991 . Fuzzy Sets, Decision Making and Expert Systems , Boston, MA : Kluwer .
   Google Scholar