×

Found 173 Documents (Results 1–100)

100
MathJax

Multi-area coordination of security-constrained dynamic optimal power flow in AC-DC grids with energy storage. (English) Zbl 1447.93132

Bertsch, Valentin (ed.) et al., Advances in energy system optimization. Proceedings of the 2nd international symposium on energy system optimization, ISESO 2018, Karlsruhe, Germany, October 10–11, 2018. Cham: Birkhäuser. Trends Math., 27-40 (2020).
MSC:  93B70 93A15
PDF BibTeX XML Cite
Full Text: DOI

Security analysis of embedded HVDC in transmission grids. (English) Zbl 1447.93131

Bertsch, Valentin (ed.) et al., Advances in energy system optimization. Proceedings of the 2nd international symposium on energy system optimization, ISESO 2018, Karlsruhe, Germany, October 10–11, 2018. Cham: Birkhäuser. Trends Math., 13-25 (2020).
MSC:  93B70 93A15 93-04
PDF BibTeX XML Cite
Full Text: DOI

Automatic model predictive control code-generation for real-time implementation in a high-performance microcontroller. (English) Zbl 1447.93094

Derbel, Nabil (ed.) et al., Systems, automation, and control. Selected papers based on the presentations at the international multiconference, Leipzig 2018. Berlin: De Gruyter/Oldenbourg. Adv. Syst. Signals Devices 9, 25-40 (2019).
MSC:  93B45 93C83
PDF BibTeX XML Cite
Full Text: DOI

Verification and synthesis of interconnected embedded control systems under timing contracts. (English) Zbl 07120156

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 208-217 (2019).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI

Scheduling of embedded controllers under timing contracts. (English) Zbl 1369.93359

Proceedings of the 20th ACM international conference on hybrid systems: computation and control, HSCC 2017, Pittsburgh, PA, USA, April 18–20, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4590-3). 131-140 (2017).
MSC:  93C57 68Q45 90B35
PDF BibTeX XML Cite
Full Text: DOI HAL

Numerical simulation methods for embedded optimization. (English) Zbl 1356.65158

Leuven: KU Leuven, Arenberg Doctoral Shool, Faculty of Engineering Science; Freiburg: Univ. Freiburg, Faculty of Mathematics and Physics (Diss. 2016). xxv, 293 p. (2017).
PDF BibTeX XML Cite
Full Text: Link Link

Semi-Markov model of a single-server queue with losses and maintenance of an unreliable server. (English. Russian original) Zbl 1325.60148

Cybern. Syst. Anal. 51, No. 4, 632-643 (2015); translation from Kibern. Sist. Anal. 2015, No. 4, 151-162 (2015).
PDF BibTeX XML Cite
Full Text: DOI

Embedded symmetric nested implicit Runge-Kutta methods of Gauss and Lobatto types for solving stiff ordinary differential equations and Hamiltonian systems. (English. Russian original) Zbl 1325.65105

Comput. Math. Math. Phys. 55, No. 6, 983-1003 (2015); translation from Zh. Vychisl. Mat. Mat. Fiz. 55, No. 6, 986-1007 (2015).
PDF BibTeX XML Cite
Full Text: DOI

SOM based multi-agent hydro meteorological data collection system. (English) Zbl 1317.93012

Zelinka, Ivan (ed.) et al., Nostradamus 2014: prediction, modeling and analysis of complex systems. Selected papers based on the presentations at the Nostradamus conference, Ostrava, Czech Republic, June 2014. Cham: Springer (ISBN 978-3-319-07400-9/pbk; 978-3-319-07401-6/ebook). Advances in Intelligent Systems and Computing 289, 31-41 (2014).
MSC:  93A14 68T42 93C95
PDF BibTeX XML Cite
Full Text: DOI

Optimal design of distributed control and embedded systems. (English) Zbl 1308.93002

Communications and Control Engineering. Cham: Springer (ISBN 978-3-319-02728-9/hbk; 978-3-319-02729-6/ebook). xxiv, 288 p. (2014).
MSC:  93-02 93C20 93C95 93A30 93D99 93C57
PDF BibTeX XML Cite
Full Text: DOI

Optimal CPU allocation to a set of control tasks with soft real-time execution constraints. (English) Zbl 1361.68020

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). 233-242 (2013).
MSC:  68M20 68Q87
PDF BibTeX XML Cite
Full Text: DOI

Arbitrated network control systems: A co-design of control and platform for cyber-physical systems. (English) Zbl 1302.93024

Tarraf, Danielle C. (ed.), Control of cyber-physical systems. Invited papers based on the presentations at the workshop at Johns Hopkins University, Baltimore, MD, USA, March 20–21, 2013. Cham: Springer (ISBN 978-3-319-01158-5/pbk; 978-3-319-01159-2/ebook). Lecture Notes in Control and Information Sciences 449, 339-356 (2013).
MSC:  93A15 93D05 93C57
PDF BibTeX XML Cite
Full Text: DOI

Resource constrained LQR control under fast sampling. (English) Zbl 1362.93098

Proceedings of the 14th ACM international conference on hybrid systems: computation and control, HSCC 2011, Chicago, IL, USA, April 12–14, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0629-4). 271-279 (2011).
PDF BibTeX XML Cite
Full Text: DOI Link

Receding horizon control for temporal logic specifications. (English) Zbl 1360.68605

Proceedings of the 13th ACM international conference on hybrid systems: computation and control, HSCC 2010, Stockholm, Sweden, April 12–16, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-955-8). 101-110 (2010).
MSC:  68Q60 93C65
PDF BibTeX XML Cite
Full Text: DOI

Generating VHDL source code from UML models of embedded systems. (English) Zbl 1198.68109

Hinchey, Mike (ed.) et al., Distributed, parallel and biologically inspired systems. 7th IFIP TC 10 working conference, DIPES 2010, and 3rd IFIP TC 10 international conference biologically-inspired collaborative computing, BICC 2010, held as part of WCC 2010, Brisbane, Australia, September 20–23, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15233-7/hbk; 978-3-642-15234-4/ebook). IFIP Advances in Information and Communication Technology 329, 125-136 (2010).
MSC:  68M99 93C83
PDF BibTeX XML Cite
Full Text: DOI

Embedded control software design with aspect patterns. (English) Zbl 1186.68128

Ślęzak, Dominik (ed.) et al., Advances in software engineering. International conference on advanced software engineering and its applications, ASEA 2009. Held as part of the future generation information technology conference, FGIT 2009, Jeju Island, Korea, December 10–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-10618-7/pbk; 978-3-642-10619-4/ebook). Communications in Computer and Information Science 59, 34-41 (2009).
MSC:  68N99 93C85
PDF BibTeX XML Cite
Full Text: DOI

Image computation for polynomial dynamical systems using the Bernstein expansion. (English) Zbl 1242.93058

Bouajjani, Ahmed (ed.) et al., Computer aided verification. 21st international conference, CAV 2009, Grenoble, France, June 26–July 2, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02657-7/pbk). Lecture Notes in Computer Science 5643, 219-232 (2009).
MSC:  93C30 68N30
PDF BibTeX XML Cite
Full Text: DOI

Control and scheduling codesign. Flexible resource management in real-time control systems. (English) Zbl 1260.93049

Advanced Topics in Science and Technology in China. Berlin: Springer; Hangzhou: Zhejiang University Press (ISBN 978-3-540-78254-4/hbk; 978-3-540-78255-1/ebook). xvi, 246 p. (2008).
MSC:  93B35 93B25 93-06
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification