AF:Small: Quantified Polyhedral Programming — NSF Award to West Virginia University Research Corporation (WV, $599,999)
Any system that is required to respond to stimuli from its environment is called a reactive system. The system’s response is possibly to change its status or conditions and even affect its environment. Hence, a reactive system is an event-driven system reacting endlessly to external stimuli. It maintains an ongoing int
| Award title | AF:Small: Quantified Polyhedral Programming |
|---|---|
| Award ID | 2525738 |
| Awardee | West Virginia University Research Corporation |
| City | MORGANTOWN |
| State | WV |
| Amount obligated | $599,999 |
| Principal investigator | Krishnamurthy Subramani |
| Program | Algorithmic Foundations |
| Start date | 01/01/2026 |
| Abstract | Any system that is required to respond to stimuli from its environment is called a reactive system. The system’s response is possibly to change its status or conditions and even affect its environment. Hence, a reactive system is an event-driven system reacting endlessly to external stimuli. It maintains an ongoing interaction with its environment, changing its responses accordingly. For instance, a communications protocol is a system that must respond to each stimulus, even to a fragment of inp |
| Source | NSF Awards |
$799/mo
Try NSFGrants →