# A bright light in a dark room

June 26, 2018Engineers work in quantifiable realism--an object exists and can be measured. Sometimes, though, the certainty of the object and how it will behave wavers. Researchers from the Automatic Control and System Dynamics Laboratory at the Technische Universität Chemnitz in Germany are starting to close the gap between reality and mathematical uncertainty.

They published an analysis of the discrepancy between mathematical proofs, algorithms, and their implementations in control systems with real, measurable outcomes. Their work appears in the July issue of

*IEEE/CAA Journal of Automatica Sinica*(JAS), a joint publication of the Institute of Electrical and Electronic Engineers (IEEE) and the Chinese Association of Automation (CAA).

"Control systems appear in everything from washing machines to rockets," said Pavel Osinenko, an author on the paper and a group leader with the Technische Universität Chemnitz. "Control engineers work with objects that correspond with reality. For models of real objects, we need to develop real controllers that work in the final application. Classical mathematics are good to investigate highly abstract objects, but they overshoot on control theory."

In classical mathematic theory, Osinenko said, strength is an important factor that can miss the point of control theory. Strength, in this case, refers to the specificity of the information conveyed. Some mammals are humans, and some humans are women, and some women are mothers. In classical mathematics, it's stronger to know a variable in an equation is a human mother than simply a mammal, because more information can be inferred.

"In order for control theory to work, it requires a logical background that is way weaker," Osinenko said, noting that classical mathematics requires a logical system of several steps to ensure the most specific information to stay as strong as possible. "We need a minimalistic logical system for control theory."

The researchers analyzed a hundred-year-old theorem by mathematician Constantin Carathéodory. The theorem purports that a problem with a changeable independent variable, such as the trajectory of a thrown ball, can be solved with weak logical systems.

"It's constructive mathematics--every object that you can construct or prove to exist is computable. You can input a mathematical proof one to one in your computer," Osinenko said.

That's not the case in classical mathematics where objects are often proven by assuming they don't exist until contradictory mathematics provide evidence.

Osinenko and his team explored a variant of Caratheordory's theorem that covers several problems in practice and not just in theory. It's the link between theorems and proofs and computational certainty.

"Classical mathematics says there's a black cat in a dark room. It's definitely in there, but you can't point to its precise location," Osinenko said. "This minimal logical system is the torch with which we light up the room. The cat is right there."

Osinenko and his co-authors, Grigory Devadze and Stefan Streif, plan to further investigate minimal logic systems and constructive mathematics, with a focus on automated reasoning to aid in solutions for control systems.

"There's an ocean of mathematical results and theories in control theory that still wait for their constructive treatment," Osinenko said. "The next step is for us to pick one and work it out."

-end-

Fulltext of the paper is available: http://html.rhhz.net/ieee-jas/html/2018-4-787.htm*IEEE/CAA Journal of Automatica Sinica*was launched in 2014, it is a joint publication of the IEEE and the Chinese Association of Automation. JAS aims to publish high-quality, high-interest, far-reaching research achievements globally, and provide an international forum for the presentation of original ideas and recent results related to all aspects of automation.

Researchers (including globally highly cited scholars) from 164 institutes in 22 countries, such as NASA Ames Research Center, MIT, Yale University, Princeton University, and Chinese Academy of Sciences, select to share their research with a large audience through JAS. JAS has published special issues including IoT-based Smart and Complex Systems, Human-Centered Intelligent Robots, Control and Optimization in Renewable Energy Systems. More papers can be found at http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6570654 or http://www.ieee-jas.org

We are pleased to announce

*IEEE/CAA Journal Automatica Sinica*(JAS) has its latest CiteScore as 3.18, which ranks it among top 18% (40/224) in the category of "Control and Systems Engineering", and top 19% (48/251, 32/168) both in the categories of "Information System" and "Artificial Intelligence". JAS has entered the 1st quantile (Q1) in all three categories it belongs to.

Chinese Association of Automation

**Related Control Theory Articles:**

Evolutionary theory of economic decisions

When survival over generations is the end game, researchers say it makes sense to undervalue long shots that could be profitable and overestimate the likelihood of rare bad outcomes.

When survival over generations is the end game, researchers say it makes sense to undervalue long shots that could be profitable and overestimate the likelihood of rare bad outcomes.

Fishing for a theory of emergent behavior

Researchers at the University of Tsukuba quantified the collective action of small schools of fish using information theory.

Researchers at the University of Tsukuba quantified the collective action of small schools of fish using information theory.

A new theory about political polarization

A new model of opinion formation shows how the extent to which people like or dislike each other affects their political views -- and vice versa.

A new model of opinion formation shows how the extent to which people like or dislike each other affects their political views -- and vice versa.

First confirmation of new theory by metamaterial

Physicists in Würzburg have experimentally demonstrated a novel effect for the first time by exploiting topological metamaterials.

Physicists in Würzburg have experimentally demonstrated a novel effect for the first time by exploiting topological metamaterials.

What is an individual? Information Theory may provide the answer

Despite the near-universal assumption of individuality in biology, there is little agreement about what individuals are and few rigorous quantitative methods for their identification.

Despite the near-universal assumption of individuality in biology, there is little agreement about what individuals are and few rigorous quantitative methods for their identification.

Towards an 'orrery' for quantum gauge theory

Physicists at ETH Zurich have developed a new approach to couple quantized gauge fields to ultracold matter.

Physicists at ETH Zurich have developed a new approach to couple quantized gauge fields to ultracold matter.

An alternate theory for what causes Alzheimer's disease

Alzheimer's disease, the most common cause of dementia among the elderly, is characterized by plaques and tangles in the brain, with most efforts at finding a cure focused on these abnormal structures.

Alzheimer's disease, the most common cause of dementia among the elderly, is characterized by plaques and tangles in the brain, with most efforts at finding a cure focused on these abnormal structures.

Control theory: Mother nature is an engineer

In the last 150 years, engineers have developed and mastered ways to stabilize dynamic systems, without lag or overshoot, using what's known as control theory.

In the last 150 years, engineers have developed and mastered ways to stabilize dynamic systems, without lag or overshoot, using what's known as control theory.

Which is the perfect quantum theory?

For some phenomena in quantum many-body physics several competing theories exist.

For some phenomena in quantum many-body physics several competing theories exist.

Autism and theory of mind

Theory of mind, or the ability to represent other people's minds as distinct from one's own, can be difficult for people with autism.

Theory of mind, or the ability to represent other people's minds as distinct from one's own, can be difficult for people with autism.

## Trending Science News

**Current Coronavirus (COVID-19) News**

## Top Science Podcasts

We have hand picked the**top science podcasts of 2020**.

**Now Playing: TED Radio Hour**

**Listen Again: The Power Of Spaces**

How do spaces shape the human experience? In what ways do our rooms, homes, and buildings give us meaning and purpose? This hour, TED speakers explore the power of the spaces we make and inhabit. Guests include architect Michael Murphy, musician David Byrne, artist Es Devlin, and architect Siamak Hariri.

**Now Playing: Science for the People**

**#576 Science Communication in Creative Places**

When you think of science communication, you might think of TED talks or museum talks or video talks, or... people giving lectures. It's a lot of people talking. But there's more to sci comm than that. This week host Bethany Brookshire talks to three people who have looked at science communication in places you might not expect it. We'll speak with Mauna Dasari, a graduate student at Notre Dame, about making mammals into a March Madness match. We'll talk with Sarah Garner, director of the Pathologists Assistant Program at Tulane University School of Medicine, who takes pathology instruction out of...

**Now Playing: Radiolab**

**What If?**

There's plenty of speculation about what Donald Trump might do in the wake of the election. Would he dispute the results if he loses? Would he simply refuse to leave office, or even try to use the military to maintain control? Last summer, Rosa Brooks got together a team of experts and political operatives from both sides of the aisle to ask a slightly different question. Rather than arguing about whether he'd do those things, they dug into what exactly would happen if he did. Part war game part choose your own adventure, Rosa's Transition Integrity Project doesn't give us any predictions, and it isn't a referendum on Trump. Instead, it's a deeply illuminating stress test on our laws, our institutions, and on the commitment to democracy written into the constitution. This episode was reported by Bethel Habte, with help from Tracie Hunte, and produced by Bethel Habte. Jeremy Bloom provided original music. Support Radiolab by becoming a member today at Radiolab.org/donate. You can read The Transition Integrity Project's report here.