×

Found 653 Documents (Results 1–100)

Combined nonlinear system of control of a structurally-parametrically uncertain nonaffine plant with state delay and neutral type delay. (English. Russian original) Zbl 1483.93482

Autom. Remote Control 82, No. 12, 2192-2203 (2021); translation from Datchiki Sist. 2021, No. 1, 50-58 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Optimally resilient strategies in pushdown safety games. (English) Zbl 07559445

Esparza, Javier (ed.) et al., 45th international symposium on mathematical foundations of computer science, MFCS 2020, August 25–26, 2020, Prague, Czech Republic. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 170, Article 74, 15 p. (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

AMYTISS: parallelized automated controller synthesis for large-scale stochastic systems. (English) Zbl 1481.93037

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12225, 461-474 (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv

AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems. (English) Zbl 07300872

Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 31, 2 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI

A simple hierarchy for computing controlled invariant sets. (English) Zbl 07300864

Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 23, 11 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI

Analytical algorithm for constructing the orbital orientation of a spacecraft with an incomplete measurement of the state vector components. (English. Russian original) Zbl 1448.93089

J. Comput. Syst. Sci. Int. 58, No. 6, 969-979 (2019); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2019, No. 6, 128-138 (2019).
MSC:  93B50 93B53 93C95
PDF BibTeX XML Cite
Full Text: DOI

Lazy abstraction-based controller synthesis. (English) Zbl 1447.93060

Chen, Yu-Fang (ed.) et al., Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11781, 23-47 (2019).
MSC:  93B30 93C10
PDF BibTeX XML Cite
Full Text: DOI arXiv

Inversion of separable kernel operator and its application in control synthesis. (English) Zbl 1447.93102

Valmorbida, Giorgio (ed.) et al., Delays and interconnections: methodology, algorithms and applications. Selected contributions of the 4th DelSys workshop, Gif-sur-Yvette, France, November 25–27, 2015. Cham: Springer. Adv. Delays Dyn. 10, 265-280 (2019).
PDF BibTeX XML Cite
Full Text: DOI

Synthesis of anisotropic suboptimal PID controller for linear discrete time-invariant system with scalar control input and measured output. (English. Russian original) Zbl 1431.93024

Autom. Remote Control 80, No. 9, 1681-1693 (2019); translation from Avtom. Telemekh. 2019, No. 9, 156-172 (2019).
PDF BibTeX XML Cite
Full Text: DOI Link

A new simulation metric to determine safe environments and controllers for systems with unknown dynamics. (English) Zbl 07120154

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). 185-196 (2019).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Two modifications of the automatic rule base synthesis for fuzzy control and decision making systems. (English) Zbl 07625767

Medina, Jesús (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. Theory and foundations. 17th international conference, IPMU 2018, Cádiz, Spain, June 11–15, 2018. Proceedings. Part II. Cham: Springer. Commun. Comput. Inf. Sci. 854, 570-582 (2018).
MSC:  68Txx
PDF BibTeX XML Cite
Full Text: DOI

Synthesizing optimally resilient controllers. (English) Zbl 07533359

Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 34, 17 p. (2018).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

On the control of asynchronous automata. (English) Zbl 1491.68123

Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 93, Article 30, 15 p. (2018).
MSC:  68Q85 68Q45 93B50
PDF BibTeX XML Cite
Full Text: DOI arXiv

Controller synthesis for reward collecting Markov processes in continuous space. (English) Zbl 1369.93715

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). 45-54 (2017).
PDF BibTeX XML Cite
Full Text: DOI

Mean-payoff games on timed automata. (English) Zbl 1391.68070

Lal, Akash (ed.) et al., 36th IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2016), Chennai, India, December 13–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-027-9). LIPIcs – Leibniz International Proceedings in Informatics 65, Article 44, 14 p. (2016).
MSC:  68Q45 91A43
PDF BibTeX XML Cite
Full Text: DOI arXiv

Optimal assumptions for synthesis. (English) Zbl 1392.68237

Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 8, 15 p. (2016).
MSC:  68Q60 68Q45 91A44
PDF BibTeX XML Cite
Full Text: DOI arXiv

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software