Abstract is missing.
- Handling fault detection latencies in automata-based scheduling for embedded control softwareM. Santhosh Prabhu, Aritra Hazra, Pallab Dasgupta, Partha Pratim Chakrabarti. 1-6 [doi]
- A mixed approach to rigorous development of control designsManoranjan Satpathy, S. Ramesh, Colin F. Snook, Neeraj Kumar Singh, Michael Butler. 7-12 [doi]
- Characterizing feedback signal drop patterns in formal verification of networked control systemsDip Goswami, Samarjit Chakraborty, Purandar Bhaduri, Sanjoy K. Mitter. 13-18 [doi]
- Scalable model-checking for precise end-to-end latency computationSwarup Mohalik, Devesh B. Chokshi, Manoj G. Dixit, A. C. Rajeev, S. Ramesh. 19-24 [doi]
- Improving approximate reachability by dynamic interleavings of projections-based algorithmsSeetha Jayasankar, Supratik Chakraborty. 25-30 [doi]
- Robust fixed order controller design by a mixed randomized/deterministic methodÜlo Nurges, Sergei Avanessov. 170-175 [doi]
- Systems modeling, analysis and control (SMAC) toolbox: An insight into the robustness analysis libraryClement Roos. 176-181 [doi]
- Sequential randomized algorithms for sampled convex optimizationMohammadreza Chamanbaz, Fabrizio Dabbene, Roberto Tempo, Venkatakrishnan Venkataramanan, Qing-Guo Wang. 182-187 [doi]
- A tuning procedure for ARX-based MPCDaniel Haugaard Olesen, Jakob Kjøbsted Huusom, John Bagterp Jøgensen. 188-193 [doi]
- Online failure diagnosis of stochastic discrete event systemsJun Chen, Ratnesh Kumar. 194-199 [doi]
- NLControl: Symbolic package for study of nonlinear control systemsJuri Belikov, Ülle Kotta, Maris Tonso. 322-327 [doi]
- PolyRMPC: A new Matlab toolbox to robustify predictive controllers under unstructured and structured uncertaintiesValentin Preda, Cristina Nicoleta Stoica, Pedro Rodríguez-Ayerbe, Didier Dumur. 328-333 [doi]
- Free computer-aided control system design (CACSD) tools for GNU octaveLukas Felix Reichlin. 334-339 [doi]
- Fractional-order controller design and digital implementation using FOMCON toolbox for MATLABAleksei Tepljakov, Eduard Petlenkov, Juri Belikov, Jevgeni Finajev. 340-345 [doi]
- A framework for nonlinear model-predictive control using object-oriented modeling with a case study in power plant start-upPer-Ola Larsson, Francesco Casella, Fredrik Magnusson, Joel Andersson, Moritz Diehl, Johan Åkesson. 346-351 [doi]