Learn More
In Arabidopsis, root hair and non-hair cell fates are determined by a MYB-bHLH-WD40 transcriptional complex and are regulated by many internal and environmental cues. Brassinosteroids play important roles in regulating root hair specification by unknown mechanisms. Here, we systematically examined root hair phenotypes in brassinosteroid-related mutants, and(More)
— A plethora of driver convenience and safety automation systems are being introduced into production vehicles, such as electronic stability control, adaptive cruise control, lane keeping, and obstacle avoidance. Assuring the seamless and safe integration of each new automation function with existing control functions is a major challenge for vehicle(More)
—Motivated by the challenge of developing control software provably meeting specifications for real world problems, this paper applies formal methods to adaptive cruise control (ACC). Starting from a Linear Temporal Logic specification for ACC, obtained by interpreting relevant ACC standards, we discuss in this paper two different control software synthesis(More)
  • 1