article

A multiparameter analysis of the boundedness problem for vector addition systems

Authors:

Louis E Rosier,

Hsu-Chun YenAuthors Info & Claims

Journal of Computer and System Sciences, Volume 32, Issue 1

Pages 105 - 135

https://doi.org/10.1016/0022-0000(86)90006-1

Published: 01 February 1986 Publication History

Abstract

No abstract available.

Cited By

View all

Balasubramanian AMajumdar RThinniyam RZetzsche G(2024)Reachability in Continuous Pushdown VASSProceedings of the ACM on Programming Languages10.1145/36332798:POPL(90-114)Online publication date: 5-Jan-2024
https://dl.acm.org/doi/10.1145/3633279
Draghici AHaase CRyzhikov A(2024)Reachability in Fixed VASS: Expressiveness and Lower BoundsFoundations of Software Science and Computation Structures10.1007/978-3-031-57231-9_9(185-205)Online publication date: 6-Apr-2024
https://dl.acm.org/doi/10.1007/978-3-031-57231-9_9
Baumann PMajumdar RThinniyam RZetzsche G(2022)Context-bounded verification of thread poolsProceedings of the ACM on Programming Languages10.1145/34986786:POPL(1-28)Online publication date: 12-Jan-2022
https://dl.acm.org/doi/10.1145/3498678
Show More Cited By

Index Terms

A multiparameter analysis of the boundedness problem for vector addition systems

Recommendations

Robust uniformly ultimate boundedness control for uncertain switched linear systems

This paper presents uniformly ultimate boundedness (UUB) control design for switched linear systems with parametric uncertainties. Only the possible bound of the uncertainty is needed. Under arbitrary switching laws, a continuous state feedback control ...
An adaptive support vector regressor controller for nonlinear systems

In this study, a novel online support vector regressor (SVR) controller based on system model estimated by a separate online SVR is proposed. The main idea is to obtain an SVR controller based on an estimated model of the system by optimizing the margin ...
Support vector machine adaptive control of nonlinear systems
ICIC'05: Proceedings of the 2005 international conference on Advances in Intelligent Computing - Volume Part II

Support vector machine is a new and promising technique for pattern classification and regression estimation. The training of support vector machine is characterized by a convex optimization problem, which involves the determination of a few additional ...

Comments

Information & Contributors

Information

Published In

cover image Journal of Computer and System Sciences

Journal of Computer and System Sciences Volume 32, Issue 1

Feb. 1986

153 pages

ISSN:0022-0000

Editor:
E K Blum

Issue’s Table of Contents

Publisher

Academic Press, Inc.

United States

Publication History

Published: 01 February 1986

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

23
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 21 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Balasubramanian AMajumdar RThinniyam RZetzsche G(2024)Reachability in Continuous Pushdown VASSProceedings of the ACM on Programming Languages10.1145/36332798:POPL(90-114)Online publication date: 5-Jan-2024
https://dl.acm.org/doi/10.1145/3633279
Draghici AHaase CRyzhikov A(2024)Reachability in Fixed VASS: Expressiveness and Lower BoundsFoundations of Software Science and Computation Structures10.1007/978-3-031-57231-9_9(185-205)Online publication date: 6-Apr-2024
https://dl.acm.org/doi/10.1007/978-3-031-57231-9_9
Baumann PMajumdar RThinniyam RZetzsche G(2022)Context-bounded verification of thread poolsProceedings of the ACM on Programming Languages10.1145/34986786:POPL(1-28)Online publication date: 12-Jan-2022
https://dl.acm.org/doi/10.1145/3498678
Belardinelli FDemri SElkind EVeloso MAgmon NTaylor M(2019)Resource-bounded ATLProceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems10.5555/3306127.3331694(206-214)Online publication date: 8-May-2019
https://dl.acm.org/doi/10.5555/3306127.3331694
Englert MLazić RTotzke PKoskinen EGrohe MShankar N(2016)Reachability in Two-Dimensional Unary Vector Addition Systems with States is NL-CompleteProceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science10.1145/2933575.2933577(477-484)Online publication date: 5-Jul-2016
https://dl.acm.org/doi/10.1145/2933575.2933577
Schmitz S(2016)The complexity of reachability in vector addition systemsACM SIGLOG News10.1145/2893582.28935853:1(4-21)Online publication date: 17-Feb-2016
https://dl.acm.org/doi/10.1145/2893582.2893585
Blondin MFinkel AGoller SHaase CMcKenzie P(2015)Reachability in Two-Dimensional Vector Addition Systems with States Is PSPACE-CompleteProceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)10.1109/LICS.2015.14(32-43)Online publication date: 6-Jul-2015
https://dl.acm.org/doi/10.1109/LICS.2015.14
Aman BCiobanu G(2015)Verification of membrane systems with delays via Petri nets with delaysTheoretical Computer Science10.1016/j.tcs.2015.03.051598:C(87-101)Online publication date: 20-Sep-2015
https://dl.acm.org/doi/10.1016/j.tcs.2015.03.051
Brázdil TKiefer SKučera ANovotný PKatoen JHenzinger TMiller D(2014)Zero-reachability in probabilistic multi-counter automataProceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)10.1145/2603088.2603161(1-10)Online publication date: 14-Jul-2014
https://dl.acm.org/doi/10.1145/2603088.2603161
Chatterjee KDoyen L(2014)Partial-Observation Stochastic GamesACM Transactions on Computational Logic10.1145/257982115:2(1-44)Online publication date: 2-May-2014
https://dl.acm.org/doi/10.1145/2579821
Show More Cited By

Abstract

Cited By

Index Terms

Recommendations

Robust uniformly ultimate boundedness control for uncertain switched linear systems

An adaptive support vector regressor controller for nonlinear systems

Support vector machine adaptive control of nonlinear systems

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations