Sun, Quan; Zhang, Wei; Wang, Chao; Liu, Zhiming 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). MSC: 68Q60 68Q55 93-10 93C30 PDFBibTeX XMLCite \textit{Q. Sun} et al., Lect. Notes Comput. Sci. 13649, 134--148 (2022; Zbl 1528.68236) Full Text: DOI
Adelt, Julius; Brettschneider, Daniel; Herber, Paula 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 \textit{J. Adelt} et al., Lect. Notes Comput. Sci. 13505, 58--74 (2022; Zbl 1522.68292) Full Text: DOI
Aduamoah, Mildred; Goddard, Benjamin D.; Pearson, John W.; Roden, Jonna C. Pseudospectral methods and iterative solvers for optimization problems from multiscale particle dynamics. (English) Zbl 1502.35169 BIT 62, No. 4, 1703-1743 (2022). MSC: 35Q82 35Q93 82C22 82M36 65M70 65N35 65F10 35B65 49M41 PDFBibTeX XMLCite \textit{M. Aduamoah} et al., BIT 62, No. 4, 1703--1743 (2022; Zbl 1502.35169) Full Text: DOI
Ionuţiu, Roxana 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). MSC: 93B11 93C15 93C30 93C05 92-08 PDFBibTeX XMLCite \textit{R. Ionuţiu}, in: Realization and model reduction of dynamical systems. A festschrift in honor of the 70th birthday of Thanos Antoulas. Cham: Springer. 409--426 (2022; Zbl 1504.93043) Full Text: DOI
Tunç, Cemil; Yiğit, Abdullah On the asymptotic stability of singular systems with a constant and two time-varying delays. (English) Zbl 1485.34183 J. Math. Ext. 15, No. 5, Paper No. 18, 27 p. (2021). MSC: 34K20 34K37 34K40 PDFBibTeX XMLCite \textit{C. Tunç} and \textit{A. Yiğit}, J. Math. Ext. 15, No. 5, Paper No. 18, 27 p. (2021; Zbl 1485.34183)
Pinheiro Neto, Joana; Alho, Irina; Costa, Luís; Casimiro, Sandra; Valério, Duarte; Vinga, Susana Dynamic modeling of bone remodeling, osteolytic metastasis and PK/PD therapy: introducing variable order derivatives as a simplification technique. (English) Zbl 1471.92087 J. Math. Biol. 83, No. 4, Paper No. 39, 30 p. (2021). MSC: 92C30 92C32 92C50 26A33 34K37 PDFBibTeX XMLCite \textit{J. Pinheiro Neto} et al., J. Math. Biol. 83, No. 4, Paper No. 39, 30 p. (2021; Zbl 1471.92087) Full Text: DOI
Altun, Y.; Tunç, C. On the exponential stability of neutral linear systems with variable delays. (English) Zbl 1476.34150 J. Math. Sci., New York 256, No. 5, 576-591 (2021) and Neliniĭni Kolyvannya 23, No. 1, 11-25 (2020). Reviewer: Sébastien Boisgérault (Paris) MSC: 34K20 34K40 34K06 PDFBibTeX XMLCite \textit{Y. Altun} and \textit{C. Tunç}, J. Math. Sci., New York 256, No. 5, 576--591 (2021; Zbl 1476.34150) Full Text: DOI
Wang, Tingting; Hu, Huangshui; Zhao, Hongwei; Wang, Chuhang Design of intelligent hybrid controller for speed of brushless DC motor. (Chinese. English summary) Zbl 1463.93125 J. Jilin Univ., Sci. 58, No. 3, 659-665 (2020). MSC: 93C30 93C40 93C42 PDFBibTeX XMLCite \textit{T. Wang} et al., J. Jilin Univ., Sci. 58, No. 3, 659--665 (2020; Zbl 1463.93125) Full Text: DOI
Vidrios-Serrano, Carlos; Mendoza, Marco; Bonilla, Isela; Maldonado-Fregoso, Berenice A generalised proportional-derivative force/vision controller for torque-driven planar robotic manipulators. (English) Zbl 1488.93130 Kybernetika 56, No. 4, 821-841 (2020). MSC: 93C85 93C30 68T45 93D05 PDFBibTeX XMLCite \textit{C. Vidrios-Serrano} et al., Kybernetika 56, No. 4, 821--841 (2020; Zbl 1488.93130) Full Text: DOI Link
Altun, Yener Improved results on the stability analysis of linear neutral systems with delay decay approach. (English) Zbl 1468.34097 Math. Methods Appl. Sci. 43, No. 3, 1467-1483 (2020). Reviewer: Mohamed Zitane (Meknès) MSC: 34K20 34K40 34K25 34K06 PDFBibTeX XMLCite \textit{Y. Altun}, Math. Methods Appl. Sci. 43, No. 3, 1467--1483 (2020; Zbl 1468.34097) Full Text: DOI
Altun, Yener; Tunç, Cemil On the asymptotic stability of a nonlinear fractional-order system with multiple variable delays. (English) Zbl 1448.34144 Appl. Appl. Math. 15, No. 1, 458-468 (2020). MSC: 34K37 34K20 PDFBibTeX XMLCite \textit{Y. Altun} and \textit{C. Tunç}, Appl. Appl. Math. 15, No. 1, 458--468 (2020; Zbl 1448.34144) Full Text: Link
Zhang, Yue; Cassandras, Christos G.; Li, Wei; Mosterman, Pieter J. A discrete-event and hybrid traffic simulation model based on SimEvents for intelligent transportation system analysis in Mcity. (English) Zbl 1441.93186 Discrete Event Dyn. Syst. 29, No. 3, 265-295 (2019). MSC: 93C65 93C30 93C83 90B06 PDFBibTeX XMLCite \textit{Y. Zhang} et al., Discrete Event Dyn. Syst. 29, No. 3, 265--295 (2019; Zbl 1441.93186) Full Text: DOI
Dimirovski, Georgi; Wang, Jiqiang; Yue, Hong; Stefanovski, Jovan 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 \textit{G. Dimirovski} et al., Stud. Syst. Decis. Control 203, 35--50 (2019; Zbl 1425.93143) Full Text: DOI Link
Altun, Yener; Tunç, Cemil On the estimates for solutions of a nonlinear neutral differential system with periodic coefficients and time-varying lag. (English) Zbl 1408.34053 Palest. J. Math. 8, No. 1, 105-120 (2019). MSC: 34K25 34K40 34K12 PDFBibTeX XMLCite \textit{Y. Altun} and \textit{C. Tunç}, Palest. J. Math. 8, No. 1, 105--120 (2019; Zbl 1408.34053) Full Text: Link
Tunç, Cemil; Erdur, Sultan; Khan, Abdul Qadeer New qualitative results for solutions of functional differential equations of second order. (English) Zbl 1417.34166 Discrete Dyn. Nat. Soc. 2018, Article ID 3151742, 13 p. (2018). MSC: 34K13 34K12 34K20 PDFBibTeX XMLCite \textit{C. Tunç} et al., Discrete Dyn. Nat. Soc. 2018, Article ID 3151742, 13 p. (2018; Zbl 1417.34166) Full Text: DOI
Rajhans, Akshay; Avadhanula, Srinath; Chutinan, Alongkrit; Mosterman, Pieter J.; Zhang, Fu 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 \textit{A. Rajhans} et al., in: 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; Zbl 1417.93160) Full Text: DOI
Wang, Yue; Zheng, Gang; Efimov, Denis; Perruquetti, Wilfrid Differentiator application in altitude control for an indoor blimp robot. (English) Zbl 1401.93146 Int. J. Control 91, No. 9, 2121-2130 (2018). MSC: 93C85 93C15 93B52 93C30 PDFBibTeX XMLCite \textit{Y. Wang} et al., Int. J. Control 91, No. 9, 2121--2130 (2018; Zbl 1401.93146) Full Text: DOI HAL
Altun, Yener; Tunç, Cemil On the global stability of a neutral differential equation with variable time-lags. (English) Zbl 1412.34209 Bull. Math. Anal. Appl. 9, No. 4, 31-41 (2017). MSC: 34K20 34K40 47N20 PDFBibTeX XMLCite \textit{Y. Altun} and \textit{C. Tunç}, Bull. Math. Anal. Appl. 9, No. 4, 31--41 (2017; Zbl 1412.34209) Full Text: Link
Tunç, Cemil; Mohammed, Sizar Abid A remark on the stability and boundedness criteria in retarded Volterra integro-differential equations. (English) Zbl 1377.34069 J. Egypt. Math. Soc. 25, No. 4, 363-368 (2017). MSC: 34D05 34K20 45J05 PDFBibTeX XMLCite \textit{C. Tunç} and \textit{S. A. Mohammed}, J. Egypt. Math. Soc. 25, No. 4, 363--368 (2017; Zbl 1377.34069) Full Text: DOI
Benveniste, Albert; Bourke, Timothy; Caillaud, Benoit; Pagano, Bruno; Pouzet, Marc A type-based analysis of causality loops in hybrid systems modelers. (English) Zbl 1373.93112 Nonlinear Anal., Hybrid Syst. 26, 168-189 (2017). MSC: 93B40 68N15 93C30 PDFBibTeX XMLCite \textit{A. Benveniste} et al., Nonlinear Anal., Hybrid Syst. 26, 168--189 (2017; Zbl 1373.93112) Full Text: DOI HAL
Yazgan, Ramazan; Tunç, Cemil; Atan, Özkan On the global asymptotic stability of solutions to neutral equations of first order. (English) Zbl 1369.34096 Palest. J. Math. 6, No. 2, 542-550 (2017). Reviewer: Boris V. Loginov (Ul’yanovsk) MSC: 34K20 34K40 47N20 PDFBibTeX XMLCite \textit{R. Yazgan} et al., Palest. J. Math. 6, No. 2, 542--550 (2017; Zbl 1369.34096) Full Text: Link
Chen, Mingshuai; Ravn, Anders P.; Wang, Shuling; Yang, Mengfei; Zhan, Naijun 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). MSC: 68N30 68Q60 93-10 93C30 PDFBibTeX XMLCite \textit{M. Chen} et al., Lect. Notes Comput. Sci. 10134, 65--92 (2017; Zbl 1483.68074) Full Text: DOI Link
Tunc, Cemil; Altun, Yener Asymptotic stability in neutral differential equations with multiple delays. (English) Zbl 1362.34112 J. Math. Anal. 7, No. 5, 40-53 (2016). MSC: 34K20 93D20 34K06 PDFBibTeX XMLCite \textit{C. Tunc} and \textit{Y. Altun}, J. Math. Anal. 7, No. 5, 40--53 (2016; Zbl 1362.34112)
Ha, Phi; Mehrmann, Volker Analysis and numerical solution of linear delay differential-algebraic equations. (English) Zbl 1345.34129 BIT 56, No. 2, 633-657 (2016). Reviewer: Gabriel Thomas (Uriage) MSC: 34K32 34K06 34K28 65L05 65H10 PDFBibTeX XMLCite \textit{P. Ha} and \textit{V. Mehrmann}, BIT 56, No. 2, 633--657 (2016; Zbl 1345.34129) Full Text: DOI Link
Seifullaev, Ruslan E.; Fradkov, Alexander L. Robust nonlinear sampled-data system analysis based on Fridman’s method and S-procedure. (English) Zbl 1333.93164 Int. J. Robust Nonlinear Control 26, No. 2, 201-217 (2016). MSC: 93C57 93D09 93C10 PDFBibTeX XMLCite \textit{R. E. Seifullaev} and \textit{A. L. Fradkov}, Int. J. Robust Nonlinear Control 26, No. 2, 201--217 (2016; Zbl 1333.93164) Full Text: DOI
Zou, Liang; Zhan, Naijun; Wang, Shuling; Fränzle, Martin 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). MSC: 68Q60 68V15 93-10 93C30 93C95 PDFBibTeX XMLCite \textit{L. Zou} et al., Lect. Notes Comput. Sci. 9364, 464--481 (2015; Zbl 1471.68159) Full Text: DOI
Seifullaev, R. E.; Fradkov, A. L. 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 \textit{R. E. Seifullaev} and \textit{A. L. Fradkov}, Autom. Remote Control 76, No. 6, 989--1004 (2015; Zbl 1327.93238); translation from Avtom. Telemekh. 2015, No. 6, 57--74 (2015) Full Text: DOI
Sanfelice, Ricardo; Copp, David; Ñañez, Pablo 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 \textit{R. Sanfelice} et al., in: 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). 101--106 (2013; Zbl 1364.93383) Full Text: DOI
Huang, Zhenqi; Mitra, Sayan 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 \textit{Z. Huang} and \textit{S. Mitra}, in: 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). 291--294 (2012; Zbl 1362.93007) Full Text: DOI
Wang, Chu-Tong; Tsai, Jason S. H.; Chen, Chia-Wei; Lin, You; Guo, Shu-Mei; Shieh, Leang-San An active fault-tolerant PWM tracker for unknown nonlinear stochastic hybrid systems: NARMAX model and OKID-based state-space self-tuning control. (English) Zbl 1229.93144 J. Control Sci. Eng. 2010, Article ID 217515, 27 p. (2010). MSC: 93E03 93C10 93C30 PDFBibTeX XMLCite \textit{C.-T. Wang} et al., J. Control Sci. Eng. 2010, Article ID 217515, 27 p. (2010; Zbl 1229.93144) Full Text: DOI
Sculthorpe, Neil; Nilsson, Henrik 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 \textit{N. Sculthorpe} and \textit{H. Nilsson}, in: 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). 23--34 (2009; Zbl 1302.68070) Full Text: DOI Link
Donzé, Alexandre; Krogh, Bruce; Rajhans, Akshay 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). MSC: 93C30 93B03 93B35 93C95 PDFBibTeX XMLCite \textit{A. Donzé} et al., Lect. Notes Comput. Sci. 5469, 165--179 (2009; Zbl 1237.93089) Full Text: DOI
Menchinelli, P.; Bemporad, A. Hybrid model predictive control of a solar air conditioning plant. (English) Zbl 1293.93300 Eur. J. Control 14, No. 6, 501-515 (2008). MSC: 93B40 90C11 93C30 93C95 PDFBibTeX XMLCite \textit{P. Menchinelli} and \textit{A. Bemporad}, Eur. J. Control 14, No. 6, 501--515 (2008; Zbl 1293.93300) Full Text: DOI Link
Mitchell, Ian M.; Susuki, Yoshihiko 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 \textit{I. M. Mitchell} and \textit{Y. Susuki}, Lect. Notes Comput. Sci. 4981, 630--633 (2008; Zbl 1144.93326) Full Text: DOI Link
Cleaveland, Rance 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 \textit{R. Cleaveland}, in: Next generation design and verification methodologies for distributed embedded control systems. Proceedings of the GM R\&D workshop, Bangalore, India, January 2007. Dordrecht: Springer. 155 (2007; Zbl 1189.93099) Full Text: DOI
Basin, Michael; Alcorta-Garcia, Maria Aracelia; Peña, Dexmont Simulation and optimal filtering for linear systems with Poisson white noise. (English) Zbl 1129.93534 Dyn. Contin. Discrete Impuls. Syst., Ser. B, Appl. Algorithms 14, No. 2, 221-231 (2007). MSC: 93E11 34K35 93C05 93E03 93E25 PDFBibTeX XMLCite \textit{M. Basin} et al., Dyn. Contin. Discrete Impuls. Syst., Ser. B, Appl. Algorithms 14, No. 2, 221--231 (2007; Zbl 1129.93534)
Shampine, L. F. Design of software for ODEs. (English) Zbl 1116.65085 J. Comput. Appl. Math. 205, No. 2, 901-911 (2007). MSC: 65L05 65L10 65Y15 34K28 PDFBibTeX XMLCite \textit{L. F. Shampine}, J. Comput. Appl. Math. 205, No. 2, 901--911 (2007; Zbl 1116.65085) Full Text: DOI
Liu, Jie; Lee, Edward A. On the causality of mixed-signal and hybrid models. (English) Zbl 1032.93534 Maler, Oded (ed.) et al., Hybrid systems: Computation and control. 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3-5, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2623, 328-342 (2003). MSC: 93C30 93A30 PDFBibTeX XMLCite \textit{J. Liu} and \textit{E. A. Lee}, Lect. Notes Comput. Sci. 2623, 328--342 (2003; Zbl 1032.93534) Full Text: Link
Schley, D.; Shail, R.; Gourley, S. A. Stability criteria for differential equations with variable time delays. (English) Zbl 1013.65076 Int. J. Math. Educ. Sci. Technol. 33, No. 3, 359-375 (2002). Reviewer: Manuel Calvo (Zaragoza) MSC: 65L07 65L20 34K20 34K28 PDFBibTeX XMLCite \textit{D. Schley} et al., Int. J. Math. Educ. Sci. Technol. 33, No. 3, 359--375 (2002; Zbl 1013.65076) Full Text: DOI
Johansson, K. H.; Egerstedt, M.; Lygeros, J.; Sastry, S. On the regularization of Zeno hybrid automata. (English) Zbl 0948.93031 Syst. Control Lett. 38, No. 3, 141-150 (1999). MSC: 93C30 93C65 PDFBibTeX XMLCite \textit{K. H. Johansson} et al., Syst. Control Lett. 38, No. 3, 141--150 (1999; Zbl 0948.93031) Full Text: DOI
Rükgauer, A.; Schiehlen, W. Simulation of modular mechatronic systems with application to vehicle dynamics. (English) Zbl 0901.70004 Acta Mech. 125, No. 1-4, 183-196 (1997). MSC: 70-08 70E15 70B15 PDFBibTeX XMLCite \textit{A. Rükgauer} and \textit{W. Schiehlen}, Acta Mech. 125, No. 1--4, 183--196 (1997; Zbl 0901.70004) Full Text: DOI
Nataraj, P. S. V.; Date, P.; Umrani, A. Robust feedback synthesis for nonlinear integro-differential equation models using generalized describing functions. (English) Zbl 0875.93130 Automatica 33, No. 5, 959-962 (1997). MSC: 93B51 93C10 93C30 PDFBibTeX XMLCite \textit{P. S. V. Nataraj} et al., Automatica 33, No. 5, 959--962 (1997; Zbl 0875.93130) Full Text: DOI