Co-simulation of hybrid systems: Signal-Simulink

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1926, Issue , 2000, Pages 134-151

  Tudoret, Stéphane ^a   Nadjm Tehrani, Simin ^a   Benveniste, Albert ^b   Strömberg, Jan Erik ^c  

^a LINKÖPING UNIVERSITY   (Sweden)

^b CAMPUS DE BEAULIEU   (France)

^c DST Control AB   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); FAULT TOLERANCE; HYBRID SYSTEMS; SIGNAL ANALYSIS;

CONTINUOUS DYNAMICS; COSIMULATION; DISCRETE CONTROLLERS; FORMAL ANALYSIS; MODEL COMPLEXES; NON LINEAR; SUBMODELS; SWEDISHS;

REAL TIME SYSTEMS;

EID: 84974711250     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45352-0_13     Document Type: Conference Paper

References (29)

1. T. Amagbegnon, P. Le Guernic, H. Marchand, and E. Rutten. Signal- the specification of a generic, verified production cell controller. In C. Lewerentz and T. Lindner, editors, Formal Development of Reactive Systems - Case Study Production Cell, number 891 in Lecture Notes in Computer Science, chapter 7, pages 115-129. Springer Verlag, January 1995.
2. A. Benveniste, B. Caillaud, and P. Le Guernic. Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation. Information and Computation. To appear.
3. A. Benveniste, B. Caillaud, and P. Le Guernic. From Synchrony to Asynchrony. In J.C.M. Baeten and S. Mauw, editors, Proceedings of the 10th International Conference on Concurrency Theory, CONCUR’99, LNCS 1664, pages 162-177. Springer Verlag, 1999.
4. G. Berry. The Constructive Semantics of Pure Esterel. Technical report, Centre de Mathematiques Appliquees, 1999. Draft book, available from http://www-sop.inria.fr/meije/esterel/doc/main-papers.html.
5. F. Boussinot and R. De Simone. The ESTEREL language. Proceedings of the IEEE, 79(9):1293-1304, September 1991.
6. W. Chan, R.J. Anderson, P. Beame, S. Burns, F. Modugno, D. Notkin, and J.D. Reese. Model Checking Large Software Specifications. IEEE Transactions on Software Engineering, 24:498-519, July 1998.
7. T. Gautier and P. Le Guernic. Code generation in the SACRES project. In F. Red- mill and T. Andersson, editors, Towards System Safety, Proceedings of the Safety- critical Systems Symposium, SSS’99, pages 127-149, Huntingdon, UK, February 1999. Springer Verlag.
8. P. Le Guernic, T. Gautier, M. Le Borgne, and C. Le Maire. Programming real-time applications with Signal. Proceedings of the IEEE, 79(9):1321-1336, September 1991.
9. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous data flow programming language Lustre. Proceedings of the IEEE, 79(9):1305-1320, September 1991.
10. N. Halbwachs, P. Raymond, and Y.-E. Proy. Verification of Linear Hybrid Systems by means of Convex Approximations. In In proceedings of the International Symposium on Static Analysis SAS’94, LNCS 864. Springer Verlag, September 1993.
11. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231-274, 1987.
12. Integrated Systems Inc. System Build v 5.0 User’s Guide. Santa Clara, CA, USA, 1997.
13. A. Kountouris and C. Wolinski. Hierarchical conditional dependency graphs for mutual exclusiveness identification. In 12th International Conference on VLSI Design, Goa, India, January 1999.
14. G. Lafferriere, G. J. Pappas, and S. Yovine. A New Class of Decidable Hybrid Systems. In proceedings of Hybrid Systems: Computation and Control, LNCS 1569, pages 137-151. Springer Verlag, March 1999.
15. M. Le Borgne, H. Marchand, E. Rutten, and M. Samaan. Formal verification of signal programs: Application to a power transformer station controller. In Proceedings of AMAST’96, LNCS 1101, pages 271-285, Munich, Germany, July 1996. Springer-Verlag.
16. E. Marchand, E. Rutten, and F. Chaumette. From data-flow task to multi-tasking: Applying the synchronous approach to active vision in robotics. IEEE Trans. on Control Systems Technology, 5(2):200-216, March 1997.
17. H. Marchand, P. Bournai, M. Le Borgne, and P. Le Guernic. A design environment for discrete-event controllers based on the signal language. In 1998 IEEE International Conf. On Systems, Man, And Cybernetics, pages 770-775, San Diego, California, USA, October 1998.
18. H. Marchand and M. Samaan. On the incremental design of a power transformer station controller using controller synthesis methodology. In World Congress on Formal Methods (FM’99), volume 1709 of LNCS, pages 1605-1624, Toulouse, France, September 1999. Springer Verlag.
19. The MathWorks, Inc. Real-Time Workshop User’s Guide, May 1997.
20. The MathWorks, Inc. Stateflow User’s Guide, May 1997.
21. The MathWorks, Inc. Target Language Compiler Reference Guide, May 1997.
22. The MathWorks, Inc. Using Simulink, January 1997.
23. P. Mosterman. An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages. In Hybrid Systems: Computation and Control, Proceedings of the second international workshop, March 1999, LNCS 1569, pages 168-177. Springer Verlag, March 1999.
24. S. Nadjm-Tehrani and O. Åkerlund. Combining Theorem Proving and Continuous Models in Synchronous Design. In Proceedings of the World Congress on Formal Methods, Volume II, LNCS 1709, pages 1384-1399. Springer Verlag, September 1999.
25. S. Nadjm-Tehrani and J-E. Strömberg. Verification of Dynamic Properties in an Aerospace application. Formal Methods in System Design, 14(2):135-169, March 1999.
26. A. Puri and P. Varaiya. Verificaion of Hybrid Systems Using Abstrations. In proceedings of Hybrid Systems II, LNCS 999, pages 359-369. Springer Verlag, 1994.
27. J.-E. Strömberg. A mode switching modelling philosophy. PhD thesis, Linköping University, Linköping, 1994. Dissertation no. 353.
28. J.-E. Strömberg and S. Nadjm-Tehrani. On discrete and hybrid representation of hybrid systems. In Proceedings of the SCS International Conference on Modeling and Simulation (ESM’94), pages 1085-1089, Barcelona, Spain, 1994.
29. S. Tudoret. Signal-simulink: Hybrid system co-simulation. Technical Report cis-1999-020, Dept. of Computer and Information Science, Linköpings University, December 1999. Currently available under Technical reports from http://www.ida.liu.se/~eslab/publications.shtml.