Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

Decision Making: P-value Method01:09

Decision Making: P-value Method

5.8K
The process of hypothesis testing based on the P-value method includes calculating the P- value using the sample data and interpreting it.
First, a specific claim about the population parameter is proposed. The claim is based on the research question and is stated in a simple form. Further, an opposing statement to the claim  is also stated. These statements can act as null and alternative hypotheses:  a null hypothesis would be a neutral statement while the alternative hypothesis can...
5.8K
Decision Making: Traditional Method01:14

Decision Making: Traditional Method

4.3K
The process of hypothesis testing based on the traditional method includes calculating the critical value, testing the value of the test statistic using the sample data, and interpreting these values.
First, a specific claim about the population parameter is decided based on the research question and is stated in a simple form. Further, an opposing statement to this claim is also stated. These statements can act as null and alternative hypotheses, out of which a null hypothesis would be a...
4.3K
Decision Making01:20

Decision Making

289
Decision-making is a fundamental cognitive process that involves evaluating alternatives and selecting among them. This process can range from simple choices, such as deciding what to wear, to complex decisions, like choosing a major in college or a career path. The complexity of the decision often dictates the approach we use, which can be broadly categorized into two types: automatic and controlled decision-making.
Automatic decision-making is fast, intuitive, and relies on gut feelings...
289
Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving01:29

Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving

115
Mechanistic models play a crucial role in algorithms for numerical problem-solving, particularly in nonlinear mixed effects modeling (NMEM). These models aim to minimize specific objective functions by evaluating various parameter estimates, leading to the development of systematic algorithms. In some cases, linearization techniques approximate the model using linear equations.
In individual population analyses, different algorithms are employed, such as Cauchy's method, which uses a...
115
Combustion Energy: A Measure of Stability in Alkanes and Cycloalkanes02:14

Combustion Energy: A Measure of Stability in Alkanes and Cycloalkanes

7.1K
The low reactivity in alkanes can be attributed to the non-polar nature of C–C and C–H σ bonds. Alkanes, therefore, were  initially termed as “paraffins,” derived from the Latin words: parum, meaning “too little,” and affinis, meaning “affinity.”
Alkanes undergo combustion in the presence of excess oxygen and high-temperature conditions to give carbon dioxide and water. A combustion reaction is the energy source in natural gas, liquified...
7.1K
Mechanistic Models: Overview of Compartment Models01:21

Mechanistic Models: Overview of Compartment Models

187
Mechanistic models, a category encompassing both physiological and compartmental modeling, differ from empirical models' approaches to incorporating known factors about the systems being modeled. Empirical models describe data with minimal assumptions, while mechanistic models aim to provide a robust description of available data by specifying assumptions and integrating known factors about the system. Compartmental analysis is a key example of a mechanistic model in pharmacokinetics and...
187

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Fluorescent bionanosensor for picomolar detection of biomarkers in fluids.

European biophysics journal : EBJ·2026
Same author

Dietary Antioxidants Influence IER5 Activation and DNA Repair: Implications for Radioprotection and Healthy Aging.

Antioxidants (Basel, Switzerland)·2025
Same author

How media competition fuels the spread of misinformation.

Science advances·2025
Same author

Neurosymbolic AI as an antithesis to scaling laws.

PNAS nexus·2025
Same author

Robustly Linearized Model Predictive Control for Nonlinear Infinite-Dimensional Systems.

IFAC-PapersOnLine·2025
Same author

The relational modeling of hierarchical data in biodiversity databases.

Database : the journal of biological databases and curation·2024
See all related articles

Related Experiment Video

Updated: Oct 5, 2025

Original Experimental Approach for Assessing Transport Fuel Stability
09:48

Original Experimental Approach for Assessing Transport Fuel Stability

Published on: October 21, 2016

9.4K

Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption.

František Blahoudek1, Murat Cubuktepe2, Petr Novotný3

  • 1Brno University of Technology, Brno, Czech Republic.

FME ... : ... International Symposium of Formal Methods Europe ... Proceedings. International Symposium of Formal Methods Europe
|January 24, 2022
PubMed
Summary
This summary is machine-generated.

FiMDP enhances controller synthesis for resource-constrained systems using Consumption Markov Decision Processes (CMDPs). This tool optimizes decision-making and supports multi-agent task allocation for complex scenarios.

More Related Videos

Operant Protocols for Assessing the Cost-benefit Analysis During Reinforced Decision Making by Rodents
07:05

Operant Protocols for Assessing the Cost-benefit Analysis During Reinforced Decision Making by Rodents

Published on: September 10, 2018

6.1K
Combustion Characterization and Model Fuel Development for Micro-tubular Flame-assisted Fuel Cells
08:16

Combustion Characterization and Model Fuel Development for Micro-tubular Flame-assisted Fuel Cells

Published on: October 2, 2016

9.7K

Related Experiment Videos

Last Updated: Oct 5, 2025

Original Experimental Approach for Assessing Transport Fuel Stability
09:48

Original Experimental Approach for Assessing Transport Fuel Stability

Published on: October 21, 2016

9.4K
Operant Protocols for Assessing the Cost-benefit Analysis During Reinforced Decision Making by Rodents
07:05

Operant Protocols for Assessing the Cost-benefit Analysis During Reinforced Decision Making by Rodents

Published on: September 10, 2018

6.1K
Combustion Characterization and Model Fuel Development for Micro-tubular Flame-assisted Fuel Cells
08:16

Combustion Characterization and Model Fuel Development for Micro-tubular Flame-assisted Fuel Cells

Published on: October 2, 2016

9.7K

Area of Science:

  • Artificial Intelligence
  • Computer Science
  • Control Theory

Background:

  • Consumption Markov Decision Processes (CMDPs) model resource-constrained systems.
  • Controller synthesis is crucial for managing these systems effectively.

Purpose of the Study:

  • Introduce FiMDP, a novel tool for controller synthesis in CMDPs.
  • Extend existing algorithms with advanced features for practical applications.

Main Methods:

  • Implement polynomial-time controller synthesis algorithm for CMDPs.
  • Incorporate heuristics for optimizing reachability times.
  • Support multi-agent task allocation and strategy simulation.

Main Results:

  • FiMDP offers enhanced controller synthesis capabilities.
  • Integration with Storm model checker and a new simulation framework.
  • Demonstrated effectiveness on real-world resource-constrained systems via FiMDPEnv.

Conclusions:

  • FiMDP provides a powerful and versatile solution for CMDP controller synthesis.
  • The tool's features address both conceptual and practical challenges.
  • Evaluations confirm FiMDP's utility in real-world scenarios.