## Found 173 Documents (Results 1–100)

100
MathJax

Full Text:

### Embedded pairs for optimal explicit strong stability preserving Runge-Kutta methods. (English)Zbl 07531737

MSC:  65Lxx 65Mxx 34Axx
Full Text:

### Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis. (English)Zbl 07511148

MSC:  93C65 92C50
Full Text:

Full Text:

Full Text:

Full Text:

### Resilient static output feedback control of linear semi-Markov jump systems with incomplete semi-Markov kernel. (English)Zbl 1471.93104

MSC:  93B52 93C55 93E03
Full Text:

### An implicit-explicit method of third order for stiff ODEs. (English)Zbl 1474.65206

MSC:  65L04 65L05 65L20
Full Text:

### GMRES with embedded ensemble propagation for the efficient solution of parametric linear systems in uncertainty quantification of computational models. (English)Zbl 07413160

MSC:  65-XX 68-XX
Full Text:

Full Text:

### Stability analysis and stabilization of discrete-time non-homogeneous semi-Markov jump linear systems: a polytopic approach. (English)Zbl 1448.93341

MSC:  93E15 93C55 93C05
Full Text:

### 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
Full Text:

### 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
Full Text:

### Optimal proportional reinsurance policies for stochastic models. (English)Zbl 1451.91168

MSC:  91G05 93E20
Full Text:

Full Text:

### Design and simulation of sensor fusion using symbolic engines. (English)Zbl 1485.93580

MSC:  93E11 93C10
Full Text:

### Membrane computing models and robot controller design, current results and challenges. (English)Zbl 1469.68025

MSC:  68Q07 93C85
Full Text:

### 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
Full Text:

### FPGA implementation of extended Kalman filter for SOC estimation of lithium-ion battery in electric vehicle. (English)Zbl 1432.93349

MSC:  93E11 93C83 93C95
Full Text:

### An embedded solar-powered irrigation system based on a cascaded fuzzy logic controller. (English)Zbl 1432.93198

MSC:  93C42 93C83 93C95
Full Text:

Full Text:

Full Text:

Full Text:

### 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
Full Text:

MSC:  93C95
Full Text:

### An EDG method for distributed optimal control of elliptic PDEs. (English)Zbl 07408314

MSC:  65N30 49M25 65N15
Full Text:

### Embedded model control: reconciling modern control theory and error-based control design. (English)Zbl 1438.93079

MSC:  93B50 93C15 93-02
Full Text:

Full Text:

Full Text:

Full Text:

### Force-free control model for six axis industrial robot based on stiffness control. (Chinese. English summary)Zbl 1399.93172

MSC:  93C85 70E60
Full Text:

Full Text:

MSC:  68Q60
Full Text:

MSC:  49K21
Full Text:

### 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
Full Text:

### 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).
Full Text:

Full Text:

Full Text:

Full Text:

### Design on embedded system in parameter measurement for electric power system. (English)Zbl 1414.93122

Jia, Yingmin (ed.) et al., Proceedings of 2016 Chinese intelligent systems conference, Xiamen, China. Volume I. Singapore: Springer. Lect. Notes Electr. Eng. 404, 129-137 (2016).
MSC:  93C83 93A15 93B40
Full Text:

### Design and experimental evaluation of robust controllers for a two-wheeled robot. (English)Zbl 1360.93206

MSC:  93B35 93C85 68T40
Full Text:

### Embedded MPC controller based on interior-point method with convergence depth control. (English)Zbl 1354.93049

MSC:  93B40 93C55 93C05 90C20
Full Text:

Full Text:

### A Gauss-Seidel type solver for the fast computation of input-constrained control systems. (English)Zbl 1350.93039

MSC:  93B40 93C10 93B60
Full Text:

Full Text:

### A dual gradient-projection algorithm for model predictive control in fixed-point arithmetic. (English)Zbl 1377.93067

MSC:  93B40 90C20 90C46
Full Text:

### Automatically generated embedded model predictive control: moving an industrial PC-based MPC to an embedded platform. (English)Zbl 1330.93093

MSC:  93B40 93C95 93C05
Full Text:

### Autogenerating microsecond solvers for nonlinear MPC: a tutorial using ACADO integrators. (English)Zbl 1330.93100

MSC:  93B40 93C10
Full Text:

### Nearly optimal simple explicit MPC controllers with stability and feasibility guarantees. (English)Zbl 1330.93090

MSC:  93B40 93B35 93D99
Full Text:

### An adaptive constraint tightening approach to linear model predictive control based on approximation algorithms for optimization. (English)Zbl 1330.93098

MSC:  93B40 65K05 90C20 93C95
Full Text:

### Field programmable gate array based predictive control system for spacecraft rendezvous in elliptical orbits. (English)Zbl 1330.93086

MSC:  93B40 93B51 70P05
Full Text:

Full Text:

Full Text:

### Computational complexity certification for dual gradient method: application to embedded MPC. (English)Zbl 1330.49033

MSC:  49M30 90C46 65Y20
Full Text:

### 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).
Full Text:

### 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).
Full Text:

Full Text:

Full Text:

### 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
Full Text:

### Computational complexity of inexact gradient augmented Lagrangian methods: application to constrained MPC. (English)Zbl 1322.90066

MSC:  90C25 49M29 90C46
Full Text:

MSC:  93C83
Full Text:

Full Text:

Full Text:

### Minimum-time speed optimisation over a fixed path. (English)Zbl 1292.49035

MSC:  49M30 90C25 90C51
Full Text:

### 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
Full Text:

### 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
Full Text:

Full Text:

Full Text:

### Second-order multiagent systems with event-driven consensus control. (English)Zbl 1272.68402

MSC:  68T42 68M20
Full Text:

Full Text:

Full Text:

MSC:  65J08
Full Text:

### LPV modeling and synthesis for DC propulsion of electric scooters. (English)Zbl 1303.93026

MSC:  93A30 93B50 93C95 93C15 93C05
Full Text:

### A state dependent sampling for linear state feedback. (English)Zbl 1268.93098

MSC:  93C57 93D20 93B52
Full Text:

MSC:  65L05
Full Text:

### 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).
Full Text:

### Real time constraints monitoring for OSEK applications. (English)Zbl 1363.68032

MSC:  68M20 93C95

### Multi-task implementation of multi-periodic synchronous programs. (English)Zbl 1227.93078

MSC:  93C62 93C83 93-04
Full Text:

### Worst-case end-to-end delays evaluation for SpaceWire networks. (English)Zbl 1226.93097

MSC:  93C83 90B18
Full Text:

### Separation of circulating tokens. (English)Zbl 1217.68029

MSC:  68M14 68M15
Full Text:

### 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
Full Text:

Full Text:

### Identification of localized structure in a nonlinear damped harmonic oscillator using Hamilton’s principle. (English)Zbl 1219.49042

MSC:  49S05 49M99 34K35
Full Text:

### 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
Full Text:

### Logical analysis of hybrid systems. Proving theorems for complex dynamics. (English)Zbl 1211.68412

Berlin: Springer (ISBN 978-3-642-14508-7/hbk; 978-3-642-14509-4/ebook). xxx, 426 p. (2010).
MSC:  68T27 68-01 93C83 68T15
Full Text:

### Stabilization of systems with variable and uncertain sampling period and time delay. (English)Zbl 1201.93111

MSC:  93D21 93C55 93B52
Full Text:

### OSEK based embedded control system using schedule feasibilty selftesting. (English)Zbl 1212.93221

MSC:  93C83 93C57

### 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
Full Text:

### 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
Full Text:

### Optimal solutions to a class of power management problems in mobile robots. (English)Zbl 1162.93410

MSC:  93E20 93C85
Full Text:

### 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
Full Text:

### A meta-model of computer numerical control system based on domain-specific modeling. (Chinese. English summary)Zbl 1199.93025

MSC:  93A30 93C85

MSC:  68M99
Full Text:

MSC:  49N90
Full Text:

### Dynamic buffer management using optimal control of hybrid systems. (English)Zbl 1149.93301

MSC:  93A30 93C85 49N90
Full Text:

### Drag-free and attitude control for the GOCE satellite. (English)Zbl 1149.93331

MSC:  93C95 93C55
Full Text:

all top 5

all top 5

all top 5

all top 3

all top 3