CINXE.COM

Document Zbl 1534.93316 - zbMATH Open

<!doctype html> <html lang="en"> <head> <meta charset="utf-8"> <title>Document Zbl 1534.93316 - zbMATH Open</title> <meta name="viewport" content="width=device-width, minimum-scale=0.1, maximum-scale=5.0"> <meta name="robots" content="noarchive, noindex"> <meta name="referrer" content="origin-when-cross-origin"> <link href="https://static.zbmath.org/contrib/bootstrap/v3.3.7/css/bootstrap.min.css" rel="stylesheet" media="screen,print"> <link href="https://static.zbmath.org/contrib/bootstrap/v3.3.7/css/bootstrap-theme.min.css" rel="stylesheet" media="screen,print"> <link href="https://static.zbmath.org/contrib/bootstrap-lightbox/v0.7.0/bootstrap-lightbox.min.css" rel="stylesheet" media="screen,print"> <link rel="stylesheet" href="https://static.zbmath.org/contrib/bootstrap-select/v1.13.14/css/bootstrap-select.min.css"> <link href="/static/css/smoothness/jquery-ui-1.10.1.custom.min.css" rel="stylesheet" media="screen"> <link href="/static/styles.css?v=20241024" rel="stylesheet" media="screen,print"> <link href="https://static.zbmath.org/zbMathJax/v0.1.38/zbmathjax.css" rel="stylesheet" media="screen,print"> <link rel="shortcut icon" href="/static/zbmath.ico"> <script type="application/ld+json"> { "@context": "http://schema.org", "@type": "Organization", "url": "https://zbmath.org/", "logo": "https://zbmath.org/static/zbMATH.png" } </script> </head> <body> <div id="line"></div> <span id="clear" style="cursor: pointer;">&times;</span> <div id="page"> <div id="head"> <nav id="menu" class="navbar navbar-default"> <div class="container-fluid"> <div class="navbar-header"> <button type="button" class="navbar-toggle collapsed" data-toggle="collapse" data-target="#zbnav" aria-expanded="false"> <span class="sr-only">Toggle navigation</span> <span class="icon-bar"></span> <span class="icon-bar"></span> <span class="icon-bar"></span> </button> <a class="navbar-brand" href="#"> <img class="logo" src="/static/zbmath.gif" alt="zbMATH Open logo"> </a> </div> <div id="zbnav" class="collapse navbar-collapse"> <ul class="nav navbar-nav pages"> <li class="about"> <a href="/about/">About</a> </li> <li class="frequently-asked-questions"> <a href="/frequently-asked-questions/">FAQ</a> </li> <li class="general-help"> <a href="/general-help/">General Help</a> </li> <li class="reviewer-service"> <a href="https://zbmath.org/reviewer-service/" target="_self" >Reviewer Service</a> </li> <li> <a href="/tools-and-resources/">Tools &amp; Resources</a> </li> <li class="contact"> <a href="/contact/">Contact</a> </li> </ul> <ul class="nav navbar-nav navbar-right prefs"> <li class="preferences dropdown"> <a data-toggle="dropdown" href="#">Preferences <i class="caret"></i></a> <ul class="dropdown-menu preferences"> <li> <form id="preferences" class="navbar-form" method="post" action="/preferences/" onsubmit="return confirm('This website uses cookies for the purposes of storing preference information on your device. Do you agree to this?\n\nPlease refer to our Privacy Policy to learn more about our use of cookies.')" > <input type="hidden" name="path" value="/?q=ra%3Ahe.ning+se%3A2600"> <span class=""> <label class="title">Search Form</label> <div class="form-group"> <input id="search-multi-line" type="radio" name="search" value="multi-line" checked> <label for="search-multi-line" class="radio">Multi-Line Search (default)</label> </div> <div class="form-group"> <input id="search-one-line" type="radio" name="search" value="one-line"> <label for="search-one-line" class="radio">One-Line Search</label> </div> </span> <span class="count"> <label class="title">Hits per Page</label> <div class="form-group"> <input id="count-10" type="radio" name="count" value="10"> <label for="count-10" class="radio">10</label> </div> <div class="form-group"> <input id="count-20" type="radio" name="count" value="20"> <label for="count-20" class="radio">20</label> </div> <div class="form-group"> <input id="count-50" type="radio" name="count" value="50"> <label for="count-50" class="radio">50</label> </div> <div class="form-group"> <input id="count-100" type="radio" name="count" value="100" checked> <label for="count-100" class="radio">100 (default)</label> </div> <div class="form-group"> <input id="count-200" type="radio" name="count" value="200"> <label for="count-200" class="radio">200</label> </div> </span> <span class="format"> <label class="title">Display Format</label> <div class="form-group"> <input id="format-mathjax" type="radio" name="format" value="mathjax" checked> <label for="format-mathjax" class="radio">MathJax (default)</label> </div> <div class="form-group"> <input id="format-amstex" type="radio" name="format" value="latex"> <label for="format-amstex" class="radio">LaTeX</label> </div> </span> <span class="ranking"> <label class="title">Documents Sorting</label> <div class="form-group"> <input id="documents-ranking-default" type="radio" name="documents_ranking" value="date" checked> <label for="documents-ranking-default" class="radio">Newest first (default)</label> </div> <div class="form-group"> <input id="documents-ranking-references" type="radio" name="documents_ranking" value="references"> <label for="documents-ranking-references" class="radio">Citations</label> </div> <div class="form-group"> <input id="documents-ranking-relevance" type="radio" name="documents_ranking" value="relevance"> <label for="documents-ranking-relevance" class="radio">Relevance</label> </div> </span> <span class="ranking"> <label class="title">Authors Sorting</label> <div class="form-group"> <input id="authors-ranking-default" type="radio" name="authors_ranking" value="alpha" checked> <label for="authors-ranking-default" class="radio">Alphabetically (default)</label> </div> <div class="form-group"> <input id="authors-ranking-references" type="radio" name="authors_ranking" value="references"> <label for="authors-ranking-references" class="radio">Citations</label> </div> </span> <span class="ranking"> <label class="title">Serials Sorting</label> <div class="form-group"> <input id="serials-ranking-default" type="radio" name="serials_ranking" value="alpha" checked> <label for="serials-ranking-default" class="radio">Alphabetically (default)</label> </div> <div class="form-group"> <input id="serials-ranking-references" type="radio" name="serials_ranking" value="references"> <label for="serials-ranking-references" class="radio">Citations</label> </div> </span> <span class="ranking"> <label class="title">Software Sorting</label> <div class="form-group"> <input id="software-ranking-default" type="radio" name="software_ranking" value="references" checked> <label for="software-ranking-default" class="radio">Citations (default)</label> </div> <div class="form-group"> <input id="software-ranking-alpha" type="radio" name="software_ranking" value="alpha"> <label for="software-ranking-alpha" class="radio">Alphabetically</label> </div> </span> <button type="submit" class="btn btn-default">OK</button> <div class="clearfix"> </form> </li> </ul> </li> </ul> </div> </div> </nav> <div id="tabs"> <h1 class="logo"> <a class="logo" href="/"> <img class="logo" src="/static/zbmath.gif" alt="zbMATH Open &mdash; the first resource for mathematics" > </a> </h1> <nav> <ul class="nav nav-tabs"> <li class="tab-documents active"> <a href="/">Documents</a> </li> <li class="tab-authors"> <a href="/authors/">Authors</a> </li> <li class="tab-serials"> <a href="/serials/">Serials</a> </li> <li class="tab-software"> <a href="/software/">Software</a> </li> <li class="tab-classification"> <a href="/classification/">Classification</a> </li> <li class="tab-formulae"> <a href="/formulae/">Formulæ</a> </li> </ul> </nav> <div class="clearfix"></div> </div> <div class="content-fixed"> <div class="content-formular"> <div style="display: none;"> <div class="row ml-0"id="multi-line-new-line" style="display: none;"> <div class="col-xs-12 form-inline multi-line"> <select class="form-control multi-line-field multi-line-selectpicker" name="ml-0-f" aria-label="field"> <option data-type="input" value="any" selected>Anywhere</option> <option data-type="input" value="au">Authors</option> <option data-type="input" value="ti">Title</option> <option data-type="input" value="py">Year</option> <option data-type="range" value="pyr">Year Range</option> <option data-type="input" value="cc">MSC</option> <option data-type="input" value="cc1">MSC Primary</option> <option data-type="input" value="so">Source / Journal</option> <option data-type="input" value="pu">Publisher</option> <option data-type="input" value="la">Language</option> <option data-type="input" value="ab">Summary / Review</option> <option data-type="input" value="rv">Reviewer</option> <option data-type="input" value="an">zbMATH ID</option> <option data-type="input" value="en">External ID</option> <option data-type="input" value="ut">Keywords</option> <option data-type="input" value="sw">Software</option> <option data-type="input" value="br">Biographic Ref</option> <option data-type="input" value="rft">Reference Text</option> <option data-type="multiselect-db" value="db">Database</option> <option data-divider="true"></option> <option data-function="remove-line" data-content='<span class="glyphicon glyphicon-minus" aria-hidden="true"></span> remove line' value="any">remove line</option> </select><input name="ml-0-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value"><select class="form-control multi-line-operators multi-line-selectpicker" name="ml-0-op" aria-label="operator"> <option value="and" selected>AND</option> <option value="andnot">AND NOT</option> <option value="or">OR</option> </select></div> </div> <input name="ml-0-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value" id="multi-line-type-input"> <span class="multi-line-value" id="multi-line-type-range"><span style="padding-left: 5px;">from</span> <input name="ml-0-v1" class="form-control multi-line-input" type="text" value="" aria-label="value"> until <input name="ml-0-v2" class="form-control multi-line-input" type="text" value="" aria-label="value"></span> <input name="ml-0-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value" id="multi-line-type-input-la" placeholder="use name or ISO code"> <input name="ml-0-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value" id="multi-line-type-input-rv" placeholder="enter name or zbMATH reviewer number"> <input name="ml-0-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value" id="multi-line-type-input-an" placeholder="Zbl, JFM or ERAM number"> <input name="ml-0-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value" id="multi-line-type-input-en" placeholder="e.g. DOI, ISBN, arXiv ID"> <input name="ml-0-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value" id="multi-line-type-input-sw" placeholder="use * to find all documents using software"> <input name="ml-0-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value" id="multi-line-type-input-br" placeholder="find documents about the life or work of a person"> <span class="multi-line-value" id="multi-line-type-multiselect-db"> <select class="multi-line-selectpicker" data-width="100%" multiple> <option value="zbl">Zbl</option> <option value="arxiv">arXiv</option> <option value="jfm">JFM</option> <option value="eram">ERAM</option> </select> <input type="hidden" class="multi-line-input" name="ml-0-v" value=""> </span> </div> <form name="documents" method="GET" action="/" autocomplete="off"> <div class="documents multi-line" style="display: none;"> <div class="forms"> <ul class="nav forms"> <li class="one-line"> <span tabindex="0" class="glyphicon glyphicon-question-sign" title="One-Line Search allows for free logical combinations of search fields" aria-label="One-Line Search allows for free logical combinations of search fields" data-placement="bottom"></span>&nbsp;<a style="display: inline-block;" href="#">One-Line Search <span class="glyphicon glyphicon-search"></span></a> </li> </ul> </div> <div class="clearfix"></div> <div class="container-fluid"> <input type="hidden" id="multi-line-ml" name="ml" value="3"> <div id="multi-line-row-wrapper"> <div class="row ml-1"> <div class="col-xs-12 form-inline multi-line"> <select class="form-control multi-line-field multi-line-selectpicker" name="ml-1-f" aria-label="field"> <option data-type="input" value="any" selected>Anywhere</option> <option data-type="input" value="au">Authors</option> <option data-type="input" value="ti">Title</option> <option data-type="input" value="py">Year</option> <option data-type="range" value="pyr">Year Range</option> <option data-type="input" value="cc">MSC</option> <option data-type="input" value="cc1">MSC Primary</option> <option data-type="input" value="so">Source / Journal</option> <option data-type="input" value="pu">Publisher</option> <option data-type="input" value="la">Language</option> <option data-type="input" value="ab">Summary / Review</option> <option data-type="input" value="rv">Reviewer</option> <option data-type="input" value="an">zbMATH ID</option> <option data-type="input" value="en">External ID</option> <option data-type="input" value="ut">Keywords</option> <option data-type="input" value="sw">Software</option> <option data-type="input" value="br">Biographic Ref</option> <option data-type="input" value="rft">Reference Text</option> <option data-type="multiselect-db" value="db">Database</option> <option data-divider="true"></option> <option data-function="remove-line" data-content='<span class="glyphicon glyphicon-minus" aria-hidden="true"></span> remove line' value="any">remove line</option> </select><input name="ml-1-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value"><select class="form-control multi-line-operators multi-line-selectpicker" name="ml-1-op" aria-label="operator"> <option value="and" selected>AND</option> <option value="andnot">AND NOT</option> <option value="or">OR</option> </select></div> </div> <div class="row ml-2"> <div class="col-xs-12 form-inline multi-line"> <select class="form-control multi-line-field multi-line-selectpicker" name="ml-2-f" aria-label="field"> <option data-type="input" value="any">Anywhere</option> <option data-type="input" value="au" selected>Authors</option> <option data-type="input" value="ti">Title</option> <option data-type="input" value="py">Year</option> <option data-type="range" value="pyr">Year Range</option> <option data-type="input" value="cc">MSC</option> <option data-type="input" value="cc1">MSC Primary</option> <option data-type="input" value="so">Source / Journal</option> <option data-type="input" value="pu">Publisher</option> <option data-type="input" value="la">Language</option> <option data-type="input" value="ab">Summary / Review</option> <option data-type="input" value="rv">Reviewer</option> <option data-type="input" value="an">zbMATH ID</option> <option data-type="input" value="en">External ID</option> <option data-type="input" value="ut">Keywords</option> <option data-type="input" value="sw">Software</option> <option data-type="input" value="br">Biographic Ref</option> <option data-type="input" value="rft">Reference Text</option> <option data-type="multiselect-db" value="db">Database</option> <option data-divider="true"></option> <option data-function="remove-line" data-content='<span class="glyphicon glyphicon-minus" aria-hidden="true"></span> remove line' value="any">remove line</option> </select><input name="ml-2-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value"><select class="form-control multi-line-operators multi-line-selectpicker" name="ml-2-op" aria-label="operator"> <option value="and" selected>AND</option> <option value="andnot">AND NOT</option> <option value="or">OR</option> </select></div> </div> <div class="row ml-3"> <div class="col-xs-12 form-inline multi-line"> <select class="form-control multi-line-field multi-line-selectpicker" name="ml-3-f" aria-label="field"> <option data-type="input" value="any">Anywhere</option> <option data-type="input" value="au">Authors</option> <option data-type="input" value="ti" selected>Title</option> <option data-type="input" value="py">Year</option> <option data-type="range" value="pyr">Year Range</option> <option data-type="input" value="cc">MSC</option> <option data-type="input" value="cc1">MSC Primary</option> <option data-type="input" value="so">Source / Journal</option> <option data-type="input" value="pu">Publisher</option> <option data-type="input" value="la">Language</option> <option data-type="input" value="ab">Summary / Review</option> <option data-type="input" value="rv">Reviewer</option> <option data-type="input" value="an">zbMATH ID</option> <option data-type="input" value="en">External ID</option> <option data-type="input" value="ut">Keywords</option> <option data-type="input" value="sw">Software</option> <option data-type="input" value="br">Biographic Ref</option> <option data-type="input" value="rft">Reference Text</option> <option data-type="multiselect-db" value="db">Database</option> <option data-divider="true"></option> <option data-function="remove-line" data-content='<span class="glyphicon glyphicon-minus" aria-hidden="true"></span> remove line' value="any">remove line</option> </select><input name="ml-3-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value"><div id="multi-line-plus"> <a href="#"><span class="glyphicon glyphicon-plus" aria-hidden="true"></span> add line</a> </div></div> </div> </div> <div class="row"> <div class="col-xs-12 form-inline"> <div class="form-group field checkboxes-wrapper" id="checkboxes-wrapper-test" style="visibility: hidden; position: fixed;"> <label>Document Type:</label> <div class="checkboxes"> <div class="slider"> <label title="search for Articles in Journals"> <input type="checkbox" class="form-control" value="j" checked> <span tabindex="0"><small></small></span> Journal Articles </label> </div> <div class="slider"> <label title="search for Articles in Conference Proceedings and Collected Volumes"> <input type="checkbox" class="form-control" value="a" checked> <span tabindex="0"><small></small></span> Collection Articles </label> </div> <div class="slider"> <label title="search for Monographs, Proceedings, Dissertations etc."> <input type="checkbox" class="form-control" value="b" checked> <span tabindex="0"><small></small></span> Books </label> </div> <div class="slider"> <label title="search for arXiv Preprints"> <input type="checkbox" class="form-control" value="p" checked> <span tabindex="0"><small></small></span> arXiv Preprints </label> </div> </div> </div> <div class="form-group field checkboxes-wrapper" id="checkboxes-wrapper-real"> <label>Document Type:</label> <div class="checkboxes"> <div class="slider"> <label for="dt-j" title="search for Articles in Journals"> <input type="checkbox" id="dt-j" name="dt" class="form-control" value="j" checked> <span tabindex="0"><small></small></span> Journal Articles </label> </div> <div class="slider"> <label for="dt-a" title="search for Articles in Conference Proceedings and Collected Volumes"> <input type="checkbox" id="dt-a" name="dt" class="form-control" value="a" checked> <span tabindex="0"><small></small></span> Collection Articles </label> </div> <div class="slider"> <label for="dt-b" title="search for Monographs, Proceedings, Dissertations etc."> <input type="checkbox" id="dt-b" name="dt" class="form-control" value="b" checked> <span tabindex="0"><small></small></span> Books </label> </div> <div class="slider"> <label for="dt-p" title="search for arXiv Preprints"> <input type="checkbox" id="dt-p" name="dt" class="form-control" value="p" checked> <span tabindex="0"><small></small></span> arXiv Preprints </label> </div> </div> </div> </div> </div> <div class="row"> <div class="col-xs-12 buttons"> <a tabindex="0" class="btn btn-default clear-all">Reset all <span class="glyphicon glyphicon-remove"></span></a> <div class="submit"> <button class="btn btn-default search" type="submit">Search <span class="glyphicon glyphicon-search"></span></button> </div> </div> </div> </div> </div> </form> <form class="form-inline" name="documents" method="GET" action="/"> <div class="documents one-line" style="display: block;"> <div class="forms"> <ul class="nav forms"> <li class="multi-line"><a href="#">New Multi-Line Search <span class="glyphicon glyphicon-list"></span></a></li> </ul> </div> <div id="search-row" class="input-group box"> <span> <div id="search-field"> <input class="query form-control" type="text" name="q" value="ra:he.ning se:2600" aria-label="Search for documents" placeholder="Search for documents" autocomplete="off"> </div> <div class="search-buttons input-group-btn"> <div class="btn-group"> <button class="btn btn-default search" type="submit"><span class="virtual">Search</span> <span class="glyphicon glyphicon-search" style="top: 2px;"></span></button> </div> </div> </span> <span> <div class="search-buttons input-group-btn"> <div class="btn-group"> <div class="btn-group fields"> <button class="btn btn-default dropdown-toggle" data-toggle="dropdown">Fields <i class="caret"></i></button> <ul id="fields" class="dropdown-menu pull-right"> <li><a href="#"><span class="token item">any:</span><span>&nbsp;</span>anywhere (default)</a></li> <li><a href="#"><span class="token item">ab:</span><span>&nbsp;&nbsp;</span>review text</a></li> <li><a href="#"><span class="token item">an:</span><span>&nbsp;&nbsp;</span>zbmath id</a></li> <li><a href="#"><span class="token item">any:</span><span>&nbsp;&nbsp;</span>anywhere</a></li> <li><a href="#"><span class="token item">au:</span><span>&nbsp;&nbsp;</span>contributor name</a></li> <li><a href="#"><span class="token item">br:</span><span>&nbsp;&nbsp;</span>biographic reference name</a></li> <li><a href="#"><span class="token item">cc:</span><span>&nbsp;&nbsp;</span>msc title</a></li> <li><a href="#"><span class="token item">dt:</span><span>&nbsp;&nbsp;</span>document type</a></li> <li><a href="#"><span class="token item">doi:</span><span>&nbsp;&nbsp;</span>doi</a></li> <li><a href="#"><span class="token item">en:</span><span>&nbsp;&nbsp;</span>external id</a></li> <li><a href="#"><span class="token item">la:</span><span>&nbsp;&nbsp;</span>language</a></li> <li><a href="#"><span class="token item">pu:</span><span>&nbsp;&nbsp;</span>publisher</a></li> <li><a href="#"><span class="token item">py:</span><span>&nbsp;&nbsp;</span>year</a></li> <li><a href="#"><span class="token item">rv:</span><span>&nbsp;&nbsp;</span>reviewer name</a></li> <li><a href="#"><span class="token item">so:</span><span>&nbsp;&nbsp;</span>source</a></li> <li><a href="#"><span class="token item">sw:</span><span>&nbsp;&nbsp;</span>software name</a></li> <li><a href="#"><span class="token item">ti:</span><span>&nbsp;&nbsp;</span>title</a></li> <li><a href="#"><span class="token item">ut:</span><span>&nbsp;&nbsp;</span>keyword</a></li> </ul> </div> <div class="btn-group operators"> <button class="btn btn-default dropdown-toggle" data-toggle="dropdown">Operators <i class="caret"></i></button> <ul id="operators" class="dropdown-menu pull-right"> <li><a href="#"><span class="token">a&nbsp;<span class="item">&</span>&nbsp;b&nbsp;</span><span>&nbsp;</span>logical and (default)</a></li> <li><a href="#"><span class="token">a&nbsp;<span class="item">|</span>&nbsp;b&nbsp;</span><span>&nbsp;</span>logical or</a></li> <li><a href="#"><span class="token"><span class="item">!</span>ab&nbsp;&nbsp;&nbsp;</span><span>&nbsp;</span>logical not</a></li> <li><a href="#"><span class="token">abc<span class="item">*</span>&nbsp;&nbsp;</span><span>&nbsp;</span>right wildcard</a></li> <li><a href="#"><span class="token"><span class="item">"</span>ab&nbsp;c<span class="item">"</span></span><span>&nbsp;</span>phrase</a></li> <li><a href="#"><span class="token"><span class="item">(</span>ab&nbsp;c<span class="item">)</span></span><span>&nbsp;</span>parentheses</a></li> </ul> </div> </div> </div> <div class="special"> <ul class="nav help-button"> <li class="dropdown pull-right"> <a href="#">Help <i class="caret"></i></a> </li> </ul> </div> </span> </div> <div class="help"><h2>Examples</h2> <div id="help-terms" role="table"> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=Geometry">Geometry</a></span> <span class="search-explanation" role="cell" role="cell">Search for the term <em>Geometry</em> in <strong>any</strong> field. Queries are <strong>case-independent</strong>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=Funct%2A">Funct*</a></span> <span class="search-explanation" role="cell"><strong>Wildcard</strong> queries are specified by <strong><u>*</u></strong> (e.g. <em>functions</em>, <em>functorial</em>, etc.). Otherwise the search is <strong>exact</strong>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=%22Topological+group%22">"Topological group"</a></span> <span class="search-explanation" role="cell"><strong>Phrases</strong> (multi-words) should be set in <u>"</u>straight quotation marks<u>"</u>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=au%3A+Bourbaki+%26+ti%3A+Algebra">au: Bourbaki &amp; ti: Algebra</a></span> <span class="search-explanation" role="cell">Search for <strong><u>au</u>thor</strong> and <strong><u>ti</u>tle</strong>. The <strong>and-operator &amp;</strong> is default and can be omitted.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=Chebyshev+%7C+Tschebyscheff">Chebyshev | Tschebyscheff</a></span> <span class="search-explanation" role="cell">The <strong>or-operator |</strong> allows to search for <em>Chebyshev</em> or <em>Tschebyscheff</em>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=Quasi%2A+map%2A+py%3A+1989">Quasi* map* py: 1989</a></span> <span class="search-explanation" role="cell">The resulting documents have <strong><u>p</u>ublication <u>y</u>ear</strong> <em>1989</em>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=so%3A+Eur%2A+J%2A+Mat%2A+Soc%2A+cc%3A+14">so: Eur* J* Mat* Soc* cc: 14</a></span> <span class="search-explanation" role="cell">Search for publications in a particular <strong><u>so</u>urce</strong> with a <strong>Mathematics Subject <u>C</u>lassification <u>c</u>ode (<u>cc</u>)</strong> in <em>14</em>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=%22Partial+diff%2A+eq%2A%22+%21+elliptic">"Partial diff* eq*" ! elliptic</a></span> <span class="search-explanation" role="cell">The <strong>not</strong>-operator <strong>!</strong> eliminates all results containing the word <em>elliptic</em>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=dt%3A+b+%26+au%3A+Hilbert">dt: b &amp; au: Hilbert</a></span> <span class="search-explanation" role="cell">The <strong><u>d</u>ocument <u>t</u>ype</strong> is set to books; alternatively: <u>j</u> for <strong>journal articles</strong>, <u>a</u> for <strong>book articles</strong>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=py%3A+2000-2015+cc%3A+%2894A+%7C+11T%29">py: 2000-2015 cc: (94A | 11T)</a></span> <span class="search-explanation" role="cell">Number <strong>ranges</strong> are accepted. Terms can be grouped within <strong><u>(</u>parentheses<u>)</u></strong>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=la%3A+chinese">la: chinese</a></span> <span class="search-explanation" role="cell">Find documents in a given <strong><u>la</u>nguage</strong>. <a href="http://en.wikipedia.org/wiki/ISO_639-1">ISO 639-1</a> language codes can also be used.</span> </div> </div> <div id="help-fields"> <h2>Fields</h2> <table> <tr> <td class="nowrap padding" role="rowheader"><strong>any</strong></td> <td class="padding">anywhere</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>an</strong></td> <td class="padding">internal document identifier</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>au</strong></td> <td class="padding">author, editor</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>ai</strong></td> <td class="padding">internal author identifier</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>ti</strong></td> <td class="padding">title</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>la</strong></td> <td class="padding">language</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>so</strong></td> <td class="padding">source</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>ab</strong></td> <td class="padding">review, abstract</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>py</strong></td> <td class="padding">publication year</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>rv</strong></td> <td class="padding">reviewer</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>cc</strong></td> <td class="padding">MSC code</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>ut</strong></td> <td class="padding">uncontrolled term</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>dt</strong></td> <td class="padding" colspan="4">document type (<strong>j</strong>: journal article; <strong>b</strong>: book; <strong>a</strong>: book article)</td> </tr> </table> </div> <div id="help-operators"> <h2>Operators</h2> <table> <tr> <td class="nowrap padding" role="rowheader">a <strong>&amp;</strong> b</td> <td class="padding">logic and</td> </tr> <tr> <td class="nowrap padding" role="rowheader">a <strong>|</strong> b</td> <td class="padding">logic or</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>!</strong>ab</td> <td class="padding">logic not</td> </tr> <tr> <td class="nowrap padding" role="rowheader">abc<strong>*</strong></td> <td class="padding">right wildcard</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>"</strong>ab c<strong>"</strong></td> <td class="padding">phrase</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>(</strong>ab c<strong>)</strong></td> <td class="padding">parentheses</td> </tr> </table> </div> <p> See also our <a href="/general-help/">General Help</a>. </p></div> </div> </form> <div class="clearfix"></div> </div> <div class="content-shadow"></div> </div> </div> <div id="body"> <div id="main"> <div class="messages"> </div> <div id="documents"> <div class="content-main"> <div class="content-item"><div class="item"> <article> <div class="author"><a href="/authors/ruan.zeyu" title="Author Profile">Ruan, Zeyu</a>; <a href="/authors/hu.junhao" title="Author Profile">Hu, Junhao</a>; <a href="/authors/mei.jun" title="Author Profile">Mei, Jun</a></div> <h2 class="title"> <strong>Robust optimal triple event-triggered intermittent control for uncertain input-constrained nonlinear systems.</strong> <i>(English)</i> <a class="label nowrap" href="/1534.93316">Zbl 1534.93316</a> </h2> <div class="source"> <a href="/serials/2600" title="Journal Profile">Commun. Nonlinear Sci. Numer. Simul.</a> <a href="/?q=in%3A507948" title="Articles in this Issue">129, Article ID 107718, 13 p. (2024)</a>. </div> <div class="abstract">Summary: This paper investigates the concept of finite time (FT) optimal event-triggered intermittent (ETI) control for nonlinear systems with input constraints and dynamic uncertainty. Firstly, we address a key challenge faced by existing controllers, wherein the unbounded nature of the signal function renders it impractical to handle the input-constrained FT control problem. To overcome this limitation, we derive a novel lemma of semiglobal practical finite-time stability (SGPFTS) specifically for intermittent control with the additional constant terms. By leveraging the lemma and the Hamilton-Jacobi-Bellman (HJB) equation, we obtain the optimal FT guaranteed cost intermittent control law and establish FT stability criteria for uncertain nonlinear systems. Recognizing that the general HJB theory is ill-equipped to address input-constrained optimal control problems, We introduce the model predictive control (MPC) algorithm, which has been proven to be an effective online optimization method in handling robust optimal control and constrained problems. Moreover, conventional ETI optimal control methods struggle to address intermittent control for nonlinear systems with input constraints and dynamic uncertainty. To address this limitation, we propose a triple ETI Lyapunov-based MPC strategy, which not only enhances intermittent control performance but also resolves input constraints and dynamic uncertainty issues. Finally, we present two straightforward examples of uncertain nonlinear systems to demonstrate the effectiveness of the developed strategy in practice.</div> <div class="clear"></div> <br> <div class="citations"><div class="clear"><a href="/?q=rf%3A7801784">Cited in <strong>5</strong> Documents</a></div></div> <div class="classification"> <h3>MSC:</h3> <table><tr> <td> <a class="mono" href="/classification/?q=cc%3A93C65" title="MSC2020">93C65</a> </td> <td class="space"> Discrete event control/observation systems </td> </tr><tr> <td> <a class="mono" href="/classification/?q=cc%3A93B35" title="MSC2020">93B35</a> </td> <td class="space"> Sensitivity (robustness) </td> </tr><tr> <td> <a class="mono" href="/classification/?q=cc%3A93B45" title="MSC2020">93B45</a> </td> <td class="space"> Model predictive control </td> </tr><tr> <td> <a class="mono" href="/classification/?q=cc%3A93D40" title="MSC2020">93D40</a> </td> <td class="space"> Finite-time stability </td> </tr><tr> <td> <a class="mono" href="/classification/?q=cc%3A93C10" title="MSC2020">93C10</a> </td> <td class="space"> Nonlinear systems in control theory </td> </tr></table> </div><div class="keywords"> <h3>Keywords:</h3><a href="/?q=ut%3Aevent-triggered+control">event-triggered control</a>; <a href="/?q=ut%3Aintermittent+control">intermittent control</a>; <a href="/?q=ut%3ASGPFTS">SGPFTS</a>; <a href="/?q=ut%3Amodel+predictive+control">model predictive control</a>; <a href="/?q=ut%3AHJB+equation">HJB equation</a></div> <!-- Modal used to show zbmath metadata in different output formats--> <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">&times;</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;"> <!-- alert for connection errors etc --> </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function"> <!-- Button trigger metadata modal --> <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 1534.93316" data-ciurl="/ci/07801784" data-biburl="/bibtex/07801784.bib" data-amsurl="/amsrefs/07801784.bib" data-xmlurl="/xml/07801784.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/07801784.pdf" title="Zbl 1534.93316 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1016/j.cnsns.2023.107718" aria-label="DOI for “Robust optimal triple event-triggered intermittent control for uncertain input-constrained nonlinear systems”" title="10.1016/j.cnsns.2023.107718">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> <div class="references"> <h3>References:</h3> <table><tr> <td>[1]</td> <td class="space">Qiu, J.; Wang, T.; Sun, K.; Rudas, I. J.; Gao, H., Disturbance observer-based adaptive fuzzy control for strict-feedback nonlinear systems with finite-time prescribed performance. IEEE Trans Fuzzy Syst, 1 (2021)</td> </tr><tr> <td>[2]</td> <td class="space">Liu, Y.-J.; Zhao, W.; Liu, L.; Li, D.; Tong, S.; Chen, C. L.P., Adaptive neural network control for a class of nonlinear systems with function constraints on states. IEEE Trans Neural Netw Learn Syst, 1-10 (2021)</td> </tr><tr> <td>[3]</td> <td class="space">Li, S.; Yang, L.; Gao, Z.; Li, K., Optimal guaranteed cost cruise control for high-speed train movement. IEEE Trans Intell Transp Syst, 10, 2879-2887 (2016)</td> </tr><tr> <td>[4]</td> <td class="space">Mei, J.; Wang, S.; Xia, X.; Wang, W., An economic model predictive control for knowledge transmission processes in multilayer complex networks. IEEE Trans Cybern, 1-14 (2022)</td> </tr><tr> <td>[5]</td> <td class="space">Wang, X.; Li, S.; Tang, T., Periodically intermittent cruise control of heavy haul train with uncertain parameters. J Franklin Inst B, 13, 6989-7008 (2019) &middot; <a href="/1418.93196" class="nowrap">Zbl 1418.93196</a></td> </tr><tr> <td>[6]</td> <td class="space">Hu, J.; Ruan, Z.; Mei, J.; Wang, B.; Ramatsetse, B., Optimal guaranteed cost intermittent control to the efficient movement of freight trains. ISA Trans, 235-252 (2022)</td> </tr><tr> <td>[7]</td> <td class="space">Nomura, T.; Oshikawa, S.; Suzuki, Y.; Kiyono, K.; Morasso, P., Modeling human postural sway using an intermittent control and hemodynamic perturbations. Math Biosci, 1, 86-95 (2013) &middot; <a href="/1308.92023" class="nowrap">Zbl 1308.92023</a></td> </tr><tr> <td>[8]</td> <td class="space">Zhang, P.-F.; Hao, J.-H.; Chen, Q., Gyro-less angular velocity estimation and intermittent attitude control of spacecraft using coarse-sensors based on geometric analysis. Aerosp Sci Technol (2020)</td> </tr><tr> <td>[9]</td> <td class="space">Mei, J.; Lu, Z.; Hu, J.; Fan, Y., Energy-efficient optimal guaranteed cost intermittent-switch control of a direct expansion air conditioning system. IEEE/CAA J Autom Sin, 11, 1852-1866 (2021)</td> </tr><tr> <td>[10]</td> <td class="space">Sui, S.; Chen, C. L.P.; Tong, S., A novel adaptive NN prescribed performance control for stochastic nonlinear systems. IEEE Trans Neural Netw Learn Syst, 7, 3196-3205 (2021)</td> </tr><tr> <td>[11]</td> <td class="space">Wang, F.; Chen, B.; Sun, Y.; Gao, Y.; Lin, C., Finite-time fuzzy control of stochastic nonlinear systems. IEEE Trans Cybern, 6, 2617-2626 (2020)</td> </tr><tr> <td>[12]</td> <td class="space">Haddad, W. M.; Lee, J.; Bhat, S. P., Asymptotic and finite time semistability for nonlinear discrete-time systems with application to network consensus. IEEE Trans Automat Control, 1 (2022)</td> </tr><tr> <td>[13]</td> <td class="space">Tang, R.; Su, H.; Zou, Y.; Yang, X., Finite-time synchronization of Markovian coupled neural networks with delays via intermittent quantized control: Linear programming approach. IEEE Trans Neural Netw Learn Syst, 1-11 (2021)</td> </tr><tr> <td>[14]</td> <td class="space">Zhang, L.; Zhong, J.; Lu, J., Intermittent control for finite-time synchronization of fractional-order complex networks. Neural Netw, 11-20 (2021) &middot; <a href="/1526.93236" class="nowrap">Zbl 1526.93236</a></td> </tr><tr> <td>[15]</td> <td class="space">Mei, J.; Jiang, M.; Xu, W.; Wang, B., Finite-time synchronization control of complex dynamical networks with time delay. Commun Nonlinear Sci Numer Simul, 9, 2462-2478 (2013) &middot; <a href="/1311.34157" class="nowrap">Zbl 1311.34157</a></td> </tr><tr> <td>[16]</td> <td class="space">Mei, J.; Lu, Z.; Hu, J.; Fan, Y., Guaranteed cost finite-time control of uncertain coupled neural networks. IEEE Trans Cybern, 1, 481-494 (2022)</td> </tr><tr> <td>[17]</td> <td class="space">Wu, Y.; Shen, B.; Ahn, C. K.; Li, W., Intermittent dynamic event-triggered control for synchronization of stochastic complex networks. IEEE Trans Circuits Syst I Regul Pap, 6, 2639-2650 (2021)</td> </tr><tr> <td>[18]</td> <td class="space">Guo, Y.; Duan, M.; Wang, P., Input-to-state stabilization of semilinear systems via aperiodically intermittent event-triggered control. IEEE Trans Control Netw Syst, 2, 731-741 (2022)</td> </tr><tr> <td>[19]</td> <td class="space">Chen, J.; Chen, B.; Zeng, Z., Exponential quasi-synchronization of coupled delayed memristive neural networks via intermittent event-triggered control. Neural Netw, 98-106 (2021) &middot; <a href="/1526.93204" class="nowrap">Zbl 1526.93204</a></td> </tr><tr> <td>[20]</td> <td class="space">Liu, C.; Liu, L.; Cao, J.; Abdel-Aty, M., Intermittent event-triggered optimal leader-following consensus for nonlinear multi-agent systems via actor-critic algorithm. IEEE Trans Neural Netw Learn Syst, 1-15 (2021)</td> </tr><tr> <td>[21]</td> <td class="space">Sawant, V.; Chakraborty, D.; Pal, D., Intermittent feedback control with maximum average off-time. IEEE Trans Automat Control, 10, 5013-5020 (2021) &middot; <a href="/1536.93269" class="nowrap">Zbl 1536.93269</a></td> </tr><tr> <td>[22]</td> <td class="space">Heidarinejad, M.; Liu, J.; Christofides, P. D., Economic model predictive control of switched nonlinear systems. Systems Control Lett, 1, 77-84 (2013) &middot; <a href="/1257.93035" class="nowrap">Zbl 1257.93035</a></td> </tr><tr> <td>[23]</td> <td class="space">He, N.; Shi, D., Event-based robust sampled-data model predictive control: A non-monotonic Lyapunov function approach. IEEE Trans Circuits Syst I Regul Pap, 10, 2555-2564 (2015) &middot; <a href="/1468.94354" class="nowrap">Zbl 1468.94354</a></td> </tr><tr> <td>[24]</td> <td class="space">Rosolia, U.; Ames, A. D., Multi-rate control design leveraging control barrier functions and model predictive control policies. IEEE Control Syst Lett, 3, 1007-1012 (2021)</td> </tr><tr> <td>[25]</td> <td class="space">Li, H.; Shi, Y., Event-triggered robust model predictive control of continuous-time nonlinear systems. Automatica, 5, 1507-1513 (2014) &middot; <a href="/1296.93110" class="nowrap">Zbl 1296.93110</a></td> </tr><tr> <td>[26]</td> <td class="space">Xie, H.; Dai, L.; Luo, Y.; Xia, Y., Robust MPC for disturbed nonlinear discrete-time systems via a composite self-triggered scheme. Automatica (2021) &middot; <a href="/1461.93139" class="nowrap">Zbl 1461.93139</a></td> </tr><tr> <td>[27]</td> <td class="space">Zhou, Y.; Li, D.; Xi, Y.; Gao, F., Event-triggered distributed robust model predictive control for a class of nonlinear interconnected systems. Automatica (2022) &middot; <a href="/1480.93127" class="nowrap">Zbl 1480.93127</a></td> </tr><tr> <td>[28]</td> <td class="space">Wu, Y.; Wang, Y.; Liu, J.; Xu, Y., Exponential synchronization of complex networks: An intermittent adaptive event-triggered control strategy. IEEE Trans Circuits Syst I Regul Pap, 11, 4735-4745 (2021)</td> </tr><tr> <td>[29]</td> <td class="space">Liu, B.; Liu, T.; Xiao, P., Dynamic event-triggered intermittent control for stabilization of delayed dynamical systems. Automatica (2023) &middot; <a href="/1507.93148" class="nowrap">Zbl 1507.93148</a></td> </tr><tr> <td>[30]</td> <td class="space">Wang, P.-B.; Ren, X.-M.; Zheng, D.-D., Robust nonlinear MPC with variable prediction horizon: An adaptive event-triggered approach. IEEE Trans Automat Control, 1-8 (2022)</td> </tr><tr> <td>[31]</td> <td class="space">Hardy, G. H.; Littlewood, J. E.; Pólya, G.; Pólya, G., Inequalities (1952), Cambridge University Press &middot; <a href="/0047.05302" class="nowrap">Zbl 0047.05302</a></td> </tr><tr> <td>[32]</td> <td class="space">Qian, C.; Lin, W., Non-Lipschitz continuous stabilizers for nonlinear systems with uncontrollable unstable linearization. Systems Control Lett, 3, 185-200 (2001) &middot; <a href="/0974.93050" class="nowrap">Zbl 0974.93050</a></td> </tr><tr> <td>[33]</td> <td class="space">Ruan, Z.; Li, Y.; Hu, J.; Mei, J.; Xia, D., Finite-time synchronization of the drive-response networks by event-triggered aperiodic intermittent control. Neurocomputing, 89-102 (2022)</td> </tr></table> <div class="reference_disclaimer"> This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH&nbsp;Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching. </div> </div></article> </div></div> </div> </div> <div class="clearfix"></div> </div> </div> <div id="foot"><div class="copyright"> &copy; 2025 <a target="fiz" href="https://www.fiz-karlsruhe.de/en">FIZ Karlsruhe GmbH</a> <a href="/privacy-policy/">Privacy Policy</a> <a href="/legal-notices/">Legal Notices</a> <a href="/terms-conditions/">Terms &amp; Conditions</a> <div class="info"> <ul class="nav"> <li class="mastodon"> <a href="https://mathstodon.xyz/@zbMATH" target="_blank" class="no-new-tab-icon"> <img src="/static/mastodon.png" title="zbMATH at Mathstodon (opens in new tab)" alt="Mastodon logo"> </a> </li> </ul> </div> </div> <div class="clearfix" style="height: 0px;"></div> </div> </div> <script src="https://static.zbmath.org/contrib/jquery/1.9.1/jquery.min.js"></script> <script src="https://static.zbmath.org/contrib/jquery-caret/1.5.2/jquery.caret.min.js"></script> <script src="/static/js/jquery-ui-1.10.1.custom.min.js"></script> <script src="https://static.zbmath.org/contrib/bootstrap/v3.3.7zb1/js/bootstrap.min.js"></script> <script src="https://static.zbmath.org/contrib/bootstrap-lightbox/v0.7.0/bootstrap-lightbox.min.js"></script> <script src="https://static.zbmath.org/contrib/retina/unknown/retina.js"></script> <script src="https://static.zbmath.org/contrib/bootstrap-select/v1.13.14/js/bootstrap-select.min.js"></script> <script> var SCRIPT_ROOT = ""; </script> <script src="/static/scripts.js?v=20240926"> </script> <script src="https://static.zbmath.org/contrib/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML"></script> <script type="text/x-mathjax-config"> MathJax.Hub.Config({ "HTML-CSS": { preferredFont: "TeX", availableFonts: [ "STIX", "TeX" ], linebreaks: { automatic: true }, EqnChunk: (MathJax.Hub.Browser.isMobile ? 10 : 50) }, tex2jax: { processEscapes: true, ignoreClass: "tex2jax_ignore|dno" }, TeX: { Macros: { Aut: "\\operatorname{Aut}", Hom: "\\operatorname{Hom}" }, noUndefined: { attributes: { mathcolor: "#039", //"red", mathbackground: "white", //"#FFEEEE", mathsize: "90%" } } }, messageStyle: "none" }); </script> <script type="text/javascript"> $(document).ready(function() { $("#MathInput").stop(true, true).keyup(function() { $.ajax({ url: "/mwsq/", type: "POST", data: { query : $("#MathInput").val() }, dataType: "text" }) .done(function(xml) { $("#MathPreview").html(xml); $(window).resize(); }); }); var press = jQuery.Event("keyup"); press.ctrlKey = false; press.which = 40; $("#MathInput").trigger(press); }); </script> <div id="new_tab_icon" style="display: none">&nbsp;<span class="glyphicon glyphicon-new-window" aria-hidden="true"></span><span class="sr-only">(opens in new tab)</span></div> </body> </html>

Pages: 1 2 3 4 5 6 7 8 9 10