×

Found 42 Documents (Results 1–42)

A contract-based semantics and refinement for Simulink. (English) Zbl 1528.68236

Dong, Wei (ed.) et al., Dependable software engineering. Theories, tools, and applications. 8th international symposium, SETTA 2022, Beijing, China, October 27–29, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13649, 134-148 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Reusable contracts for safe integration of reinforcement learning in hybrid systems. (English) Zbl 1522.68292

Bouajjani, Ahmed (ed.) et al., Automated technology for verification and analysis. 20th international symposium, ATVA 2022, virtual event, October 25–28, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13505, 58-74 (2022).
MSC:  68Q60 68T05 93C30
PDFBibTeX XMLCite
Full Text: DOI

Challenges in model reduction for real-time simulation of traction chain systems. (English) Zbl 1504.93043

Beattie, Christopher (ed.) et al., Realization and model reduction of dynamical systems. A festschrift in honor of the 70th birthday of Thanos Antoulas. Cham: Springer. 409-426 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Impact of average-dwell-time characterizations for switched nonlinear systems on complex systems control. (English) Zbl 1425.93143

Kondratenko, Yuriy P. (ed.) et al., Advanced control techniques in complex engineering systems: theory and applications. Dedicated to Professor Vsevolod M. Kuntsevich. Cham: Springer. Stud. Syst. Decis. Control 203, 35-50 (2019).
MSC:  93C30 93C10
PDFBibTeX XMLCite
Full Text: DOI Link

Graphical modeling of hybrid dynamics with Simulink and Stateflow. (English) Zbl 1417.93160

Proceedings of the 21st ACM international conference on hybrid systems: computation and control, HSCC 2018, Porto, Portugal, April 11–13, 2018. New York, NY: Association for Computing Machinery (ACM). 247-252 (2018).
MSC:  93C30 93A30 93B40 68Q45
PDFBibTeX XMLCite
Full Text: DOI

A two-way path between formal and informal design of embedded systems. (English) Zbl 1483.68074

Bowen, Jonathan P. (ed.) et al., Unifying theories of programming. 6th international symposium, UTP 2016, Reykjavik, Iceland, June 4–5, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10134, 65-92 (2017).
PDFBibTeX XMLCite
Full Text: DOI Link

Formal verification of Simulink/Stateflow diagrams. (English) Zbl 1471.68159

Finkbeiner, Bernd (ed.) et al., Automated technology for verification and analysis. 13th international symposium, ATVA 2015, Shanghai, China, October 12–15, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9364, 464-481 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Linear matrix inequality-based analysis of the discrete-continuous nonlinear multivariable systems. (English. Russian original) Zbl 1327.93238

Autom. Remote Control 76, No. 6, 989-1004 (2015); translation from Avtom. Telemekh. 2015, No. 6, 57-74 (2015).
MSC:  93C30 93C10 93C35
PDFBibTeX XMLCite
Full Text: DOI

A toolbox for simulation of hybrid systems in Matlab/Simulink. Hybrid Equations (HyEQ) Toolbox. (English) Zbl 1364.93383

Proceedings of the 16th ACM international conference on hybrid systems: computation and control, HSCC 2013, Philadelphia, PA, USA, April 8–11, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1567-8). 101-106 (2013).
MSC:  93C30 65Y15 68U20
PDFBibTeX XMLCite
Full Text: DOI

Computing bounded reach sets from sampled simulation traces. (English) Zbl 1362.93007

Proceedings of the 15th ACM international conference on hybrid systems: computation and control, HSCC 2012, Beijing, China, April 17–19, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1220-2). 291-294 (2012).
MSC:  93A30 93C30
PDFBibTeX XMLCite
Full Text: DOI

Safe functional reactive programming through dependent types. (English) Zbl 1302.68070

Proceedings of the 14th ACM SIGPLAN international conference on functional programming, ICFP ’09, Edinburgh, UK, August 31 – September 2, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-332-7). ACM SIGPLAN Notices 44, No. 9, 23-34 (2009).
MSC:  68N18 68N19
PDFBibTeX XMLCite
Full Text: DOI Link

Parameter synthesis for hybrid systems with an application to Simulink models. (English) Zbl 1237.93089

Majumdar, Rupak (ed.) et al., Hybrid systems: Computation and control. 12th international conference, HSCC 2009, San Francisco, CA, USA, April 13–15, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00601-2/pbk). Lecture Notes in Computer Science 5469, 165-179 (2009).
PDFBibTeX XMLCite
Full Text: DOI

Level set methods for computing reachable sets of hybrid systems with differential algebraic equation dynamics. (English) Zbl 1144.93326

Egerstedt, Magnus (ed.) et al., Hybrid systems: Computation and control. 11th international workshop, HSCC 2008, St. Louis, MO, USA, April 22–24, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78928-4/pbk). Lecture Notes in Computer Science 4981, 630-633 (2008).
MSC:  93C30 93B03
PDFBibTeX XMLCite
Full Text: DOI Link

An instrumentation-based approach to controller validation. (English) Zbl 1189.93099

Ramesh, S. (ed.) et al., Next generation design and verification methodologies for distributed embedded control systems. Proceedings of the GM R&D workshop, Bangalore, India, January 2007. Dordrecht: Springer (ISBN 978-1-4020-6253-7/hbk). 155 (2007).
MSC:  93C85 93C70 93A30
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software