{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:37:17Z","timestamp":1742402237034},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540410553"},{"type":"electronic","value":"9783540453529"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45352-0_13","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T17:26:02Z","timestamp":1194974762000},"page":"134-151","source":"Crossref","is-referenced-by-count":6,"title":["Co-Simulation of Hybrid Systems: Signal-Simulink"],"prefix":"10.1007","author":[{"given":"St\u00e9phane","family":"Tudoret","sequence":"first","affiliation":[]},{"given":"Simin","family":"Nadjm-Tehrani","sequence":"additional","affiliation":[]},{"given":"Albert","family":"Benveniste","sequence":"additional","affiliation":[]},{"given":"Jan-Erik","family":"Str\u00f6mberg","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,1,22]]},"reference":[{"key":"13_CR1","series-title":"Lect Notes Comput Sci","first-page":"115","volume-title":"Formal Development of Reactive Systems-Case Study Production Cell","author":"T. Amagbegnon","year":"1995","unstructured":"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\u2013129. Springer Verlag, January 1995."},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"A. Benveniste, B. Caillaud, and P. Le Guernic. Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation. Information and Computation. To appear.","DOI":"10.1006\/inco.2000.9999"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"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\u201999, LNCS 1664, pages 162\u2013177. Springer Verlag, 1999.","DOI":"10.1007\/3-540-48320-9_13"},{"key":"13_CR4","unstructured":"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 ."},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"F. Boussinot and R. De Simone. The ESTEREL language. Proceedings of the IEEE, 79(9):1293\u20131304, September 1991.","DOI":"10.1109\/5.97299"},{"key":"13_CR6","doi-asserted-by":"crossref","first-page":"498","DOI":"10.1109\/32.708566","volume":"24","author":"W. Chan","year":"1998","unstructured":"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\u2013519, July 1998.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"T. Gautier and P. Le Guernic. Code generation in the SACRES project. In F. Redmill and T. Andersson, editors, Towards System Safety, Proceedings of the Safety-critical Systems Symposium, SSS\u201999, pages 127\u2013149, Huntingdon, UK, February 1999. Springer Verlag.","DOI":"10.1007\/978-1-4471-0823-8_9"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"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\u20131336, September 1991.","DOI":"10.1109\/5.97301"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous data flow programming language Lustre. Proceedings of the IEEE, 79(9):1305\u20131320, September 1991.","DOI":"10.1109\/5.97300"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"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\u201994, LNCS 864. Springer Verlag, September 1993.","DOI":"10.1007\/3-540-58485-4_43"},{"key":"13_CR11","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"key":"13_CR12","unstructured":"Integrated Systems Inc. SystemBuild v 5.0 User\u2019s Guide. Santa Clara, CA, USA, 1997."},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"A. Kountouris and C. Wolinski. Hierarchical conditional dependency graphs for mutual exclusiveness identification. In 12th International Conference on VLSI Design, Goa, India, January 1999.","DOI":"10.1109\/ICVD.1999.745139"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"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\u2013151. Springer Verlag, March 1999.","DOI":"10.1007\/3-540-48983-5_15"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"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\u201996, LNCS 1101, pages 271\u2013285, Munich, Germany, July 1996. Springer-Verlag.","DOI":"10.1007\/BFb0014322"},{"issue":"2","key":"13_CR16","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1109\/87.556025","volume":"5","author":"E. Marchand","year":"1997","unstructured":"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\u2013216, March 1997.","journal-title":"IEEE Trans. on Control Systems Technology"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"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\u2013775, San Diego, California, USA, October 1998.","DOI":"10.1109\/ICSMC.1998.725501"},{"key":"13_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"1605","DOI":"10.1007\/3-540-48118-4_35","volume-title":"On the incremental design of a power transformer station controller using controller synthesis methodology","author":"H. Marchand","year":"1999","unstructured":"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\u201999), volume 1709 of LNCS, pages 1605\u20131624, Toulouse, France, September 1999. Springer Verlag."},{"key":"13_CR19","unstructured":"The MathWorks, Inc. Real-Time Workshop User\u2019s Guide, May 1997."},{"key":"13_CR20","unstructured":"The MathWorks, Inc. Stateflow User\u2019s Guide, May 1997."},{"key":"13_CR21","unstructured":"The MathWorks, Inc. Target Language Compiler Reference Guide, May 1997."},{"key":"13_CR22","unstructured":"The MathWorks, Inc. Using Simulink, January 1997."},{"key":"13_CR23","doi-asserted-by":"crossref","unstructured":"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\u2013177. Springer Verlag, March 1999.","DOI":"10.1007\/3-540-48983-5_17"},{"key":"13_CR24","doi-asserted-by":"crossref","unstructured":"S. Nadjm-Tehrani and O. Akerlund. Combining Theorem Proving and Continuous Models in Synchronous Design. In Proceedings of the World Congress on Formal Methods, Volume II, LNCS 1709, pages 1384\u20131399. Springer Verlag, September 1999.","DOI":"10.1007\/3-540-48118-4_23"},{"issue":"2","key":"13_CR25","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1023\/A:1008651801000","volume":"14","author":"S. Nadjm-Tehrani","year":"1999","unstructured":"S. Nadjm-Tehrani and J-E. Str\u00f6mberg. Verification of Dynamic Properties in an Aerospace application. Formal Methods in System Design, 14(2):135\u2013169, March 1999.","journal-title":"Formal Methods in System Design"},{"key":"13_CR26","doi-asserted-by":"crossref","unstructured":"A. Puri and P. Varaiya. Verificaion of Hybrid Systems Using Abstrations. In proceedings of Hybrid Systems II, LNCS 999, pages 359\u2013369. Springer Verlag, 1994.","DOI":"10.1007\/3-540-60472-3_18"},{"key":"13_CR27","volume-title":"A mode switching modelling philosophy","author":"J.-E. Str\u00f6mberg","year":"1994","unstructured":"J.-E. Str\u00f6mberg. A mode switching modelling philosophy. PhD thesis, Link\u00f6ping University, Link\u00f6ping, 1994. Dissertation no. 353."},{"key":"13_CR28","unstructured":"J.-E. Str\u00f6mberg and S. Nadjm-Tehrani. On discrete and hybrid representation of hybrid systems. In Proceedings of the SCS International Conference on Modeling and Simulation (ESM\u201994), pages 1085\u20131089, Barcelona, Spain, 1994."},{"key":"13_CR29","unstructured":"S. Tudoret. Signal-simulink: Hybrid system co-simulation. Technical Report cis-1999-020, Dept. of Computer and Information Science, Link\u00f6pings University, December 1999. Currently available under Technical reports from http:\/\/www.ida.liu.se\/~eslab\/publications.shtml ."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45352-0_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T18:01:57Z","timestamp":1684087317000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45352-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540410553","9783540453529"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-45352-0_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}